cmark

Unnamed repository; edit this file 'description' to name the repository.

commit 3731ae78a774513a279cd8149c760fb4df412149
parent 1633fce60d3f2ca5d3450da03c9f752fcdf2b634
Author: John MacFarlane <jgm@berkeley.edu>
Date:   Fri,  7 Aug 2015 13:39:29 -0700

Use -10 priority with renice.

Negative numbers are higher priority!

Diffstat:
MMakefile | 2+-
1 file changed, 1 insertion(+), 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 ; \