From 70545251f4d1685a600e8eeb7b78eea430613b94 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 19 Dec 2015 12:17:57 -0800
Subject: Removed need for sudo in make bench.

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile')

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 \
-- 
cgit v1.2.3