summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-28 22:32:09 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-28 22:32:09 -0800
commit660c320030fa91facaee51d6119e6670e49634b3 (patch)
tree8089e32738d76304a0b0087cbeafcb9904ae6d26
parent0b746507aad92a8f7ec942e06889df62ec441f54 (diff)
Minor reformatting.
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 6a32cba..1e6c076 100644
--- a/Makefile
+++ b/Makefile
@@ -132,8 +132,8 @@ progit/progit.md: progit
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 >/dev/null ; \
+ /usr/bin/env time -p $(PROG) <$< >/dev/null ; \
done \
} 2>&1 | grep 'real' | awk '{print $$2}' | python3 'bench/stats.py'