cmark

My personal build of CMark ✏️

git clone: git://git.pablopie.xyz/cmark
Log
Files
Refs
README
LICENSE

Commit: dde398ba0821be5342e1e6a685981f5c96551087
Parent: e33d15991ce574b5986c7920bdfc12a04182a928
Author: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 12 Jan 2015 17:51:15 -0800

For benchmarks, read file rather than piping from stdin.

Diffstat

1 file changed, 1 insertion, 1 deletion

Status	File Name	N° Changes	Insertions	Deletions
Modified	Makefile	2	1	1

diff --git a/Makefile b/Makefile
@@ -146,7 +146,7 @@ bench: $(BENCHFILE)
 	{ sudo renice 99 $$$$; \
 	  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 ; \
+	  /usr/bin/env time -p $(PROG) $< >/dev/null ; \
 		  done \
 	} 2>&1  | grep 'real' | awk '{print $$2}' | python3 'bench/stats.py'