From dde398ba0821be5342e1e6a685981f5c96551087 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Mon, 12 Jan 2015 17:51:15 -0800 Subject: For benchmarks, read file rather than piping from stdin. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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 ; \ - /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' -- cgit v1.2.3