summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-15 22:55:18 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-15 22:55:18 -0800
commit8747c9d0350b2f5e704b5c98f47bfc536e96c1eb (patch)
tree1d3c6a3a3f998e89427af2668a00d341f14c1a7c
parent0c860dad6f79e2e3b7d25ebd50e6bd3322750763 (diff)
Fixed 'make bench' again.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1546918..138ff8a 100644
--- a/Makefile
+++ b/Makefile
@@ -92,7 +92,7 @@ fuzztest:
done } 2>&1 | grep 'user\|abnormally'
bench: $(BUILDDIR)
- make -C ${BUILDDIR} TIMER=1
+ TIMER=1 make
{ for x in `seq 1 100` ; do \
/usr/bin/env time -p ${PROG} progit.md >/dev/null ; \
done \