diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-15 22:48:00 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-15 22:48:00 -0800 |
commit | 0c860dad6f79e2e3b7d25ebd50e6bd3322750763 (patch) | |
tree | 93f776c5334cb4be2bfe30a013f953584cde293b | |
parent | e0c3050b5389146b555f2d105244f2d42211fd5d (diff) |
Make 'bench' target depend on BUILDDIR.
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 ; \ |