gamnit: lapse clock on resume, so `update` ignores the time in the background
[nit.git] / benchmarks / Makefile
1 all:
2 ./bench_engines.sh all
3
4 check:
5 ./bench_engines.sh --fast --fast bench_nitc_options