Use -10 priority with renice.

Negative numbers are higher priority!
TheRohans · Aug 7, 2015 · 3731ae7 · 3731ae7
1 parent 1633fce
commit 3731ae7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -161,7 +161,7 @@ $(BENCHDIR)/benchinput.md: progit
 	done
 
 bench: $(BENCHFILE)
-	{ sudo renice 99 $$$$; \
+	{ sudo renice -10 $$$$; \
 	  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 ; \