- Commit
- 7191f6b7791b284c2d8d898e6e332a190367baa7
- Parent
- ccacb19664ac45f77bcaa689a95052eeb6d8fd4c
- Author
- John MacFarlane <jgm@berkeley.edu>
- Date
make bench: take input from stdin.
cmark
My personal build of CMark ✏️
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 @@ -133,7 +133,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'