summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 \