expanded the nit_env.sh script to register nit within .bash_profile, .bashrc
[nit.git] / benchmarks / Makefile
1 all:
2 ./bench_engines.sh all
3
4 check:
5 ./bench_engines.sh --fast --fast bench_nitc_options