aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-15 22:56:57 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-15 22:56:57 -0800
commit2db928d9a6faec16182ec494d3c0cd3424a03d4e (patch)
tree0c909ead182f9681dcc5001426b3186ead58cb69
parent8747c9d0350b2f5e704b5c98f47bfc536e96c1eb (diff)
'make bench' - don't require rebuilding each time.
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 138ff8a..a0c1a62 100644
--- a/Makefile
+++ b/Makefile
@@ -91,8 +91,8 @@ fuzztest:
/usr/bin/env time -p $(PROG) >/dev/null && rm fuzz-$$i.txt ; \
done } 2>&1 | grep 'user\|abnormally'
-bench: $(BUILDDIR)
- TIMER=1 make
+bench:
+ # First build with TIMER=1
{ for x in `seq 1 100` ; do \
/usr/bin/env time -p ${PROG} progit.md >/dev/null ; \
done \