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 /Makefile | |
| parent | e0c3050b5389146b555f2d105244f2d42211fd5d (diff) | |
Make 'bench' target depend on BUILDDIR.
Diffstat (limited to 'Makefile')
| -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 ; \ |