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