aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-12 17:51:15 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-12 17:51:15 -0800
commitdde398ba0821be5342e1e6a685981f5c96551087 (patch)
treeddbd18902b4dcf0d2b9eb28ec6bebdf3ee413191
parente33d15991ce574b5986c7920bdfc12a04182a928 (diff)
For benchmarks, read file rather than piping from stdin.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 870cfb5..46f49f0 100644
--- 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'