diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-25 23:50:12 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-25 23:50:12 -0800 |
| commit | 7191f6b7791b284c2d8d898e6e332a190367baa7 (patch) | |
| tree | 7dbb49182193f964fdc1f3ae61fc90013a3a9a55 /Makefile | |
| parent | ccacb19664ac45f77bcaa689a95052eeb6d8fd4c (diff) | |
make bench: take input from stdin.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |