From 8747c9d0350b2f5e704b5c98f47bfc536e96c1eb Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 15 Nov 2014 22:55:18 -0800
Subject: Fixed 'make bench' again.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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 \
-- 
cgit v1.2.3