summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-12-19 12:17:57 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-12-19 12:17:57 -0800
commit70545251f4d1685a600e8eeb7b78eea430613b94 (patch)
tree05eb4b39b03d1cdbfbc937d639b36781a44b0ab6
parent02d6b66768f1e3204ec6efb116f462f571972d17 (diff)
Removed need for sudo in make bench.
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 83fe7b2..db23b58 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \