diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 \ |