From 2db928d9a6faec16182ec494d3c0cd3424a03d4e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 15 Nov 2014 22:56:57 -0800
Subject: 'make bench' - don't require rebuilding each time.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 138ff8a..a0c1a62 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \
-- 
cgit v1.2.3