Add --no-papi argument, some other small improvements

jku-ssw / cicro-benchmarks

A C mICRO benchmark suite

Other

8 stars 4 forks source link

Closed pointhi closed 6 years ago

pointhi commented 6 years ago

Add: --no-papi argument (helps #48 a bit because we do not detect papi in the Makefile)
Add timezone to datetime
Add missing git informations to the local database
Better Ctrl+C support in yes/no dialog