summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-15 22:48:00 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-15 22:48:00 -0800
commit0c860dad6f79e2e3b7d25ebd50e6bd3322750763 (patch)
tree93f776c5334cb4be2bfe30a013f953584cde293b /Makefile
parente0c3050b5389146b555f2d105244f2d42211fd5d (diff)
Make 'bench' target depend on BUILDDIR.
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 ; \