summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0a9ce88..1546918 100644
--- a/Makefile
+++ b/Makefile
@@ -91,7 +91,7 @@ fuzztest:
/usr/bin/env time -p $(PROG) >/dev/null && rm fuzz-$$i.txt ; \
done } 2>&1 | grep 'user\|abnormally'
-bench:
+bench: $(BUILDDIR)
make -C ${BUILDDIR} TIMER=1
{ for x in `seq 1 100` ; do \
/usr/bin/env time -p ${PROG} progit.md >/dev/null ; \