diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-12-19 12:17:57 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-12-19 12:17:57 -0800 |
| commit | 70545251f4d1685a600e8eeb7b78eea430613b94 (patch) | |
| tree | 05eb4b39b03d1cdbfbc937d639b36781a44b0ab6 /Makefile | |
| parent | 02d6b66768f1e3204ec6efb116f462f571972d17 (diff) | |
Removed need for sudo in make bench.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -160,9 +160,10 @@ $(BENCHDIR)/benchinput.md: progit cat progit/$$lang/*/*.markdown >> $@; \ done +# for more accurate results, run with +# sudo renice -10 $$; make bench bench: $(BENCHFILE) - { sudo renice -10 $$$$; \ - for x in `seq 1 $(NUMRUNS)` ; do \ + { for x in `seq 1 $(NUMRUNS)` ; do \ /usr/bin/env time -p $(PROG) </dev/null >/dev/null ; \ /usr/bin/env time -p $(PROG) $< >/dev/null ; \ done \ |