diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 17:51:15 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 17:51:15 -0800 |
| commit | dde398ba0821be5342e1e6a685981f5c96551087 (patch) | |
| tree | ddbd18902b4dcf0d2b9eb28ec6bebdf3ee413191 /Makefile | |
| parent | e33d15991ce574b5986c7920bdfc12a04182a928 (diff) | |
For benchmarks, read file rather than piping from stdin.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |