From 3731ae78a774513a279cd8149c760fb4df412149 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 7 Aug 2015 13:39:29 -0700
Subject: Use -10 priority with renice.

Negative numbers are higher priority!
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index cc7d9b2..87d2103 100644
--- 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 ; \
-- 
cgit v1.2.3