From 7191f6b7791b284c2d8d898e6e332a190367baa7 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 25 Nov 2014 23:50:12 -0800 Subject: make bench: take input from stdin. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 26ca5ff..60694e9 100644 --- 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 ; \ - /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