From a595d4a6d1cb0cccaa0d198939eff172b48c99c8 Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Mon, 17 Nov 2014 11:01:17 -0800
Subject: More 'make bench' improvements.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5e326da..25d691c 100644
--- a/Makefile
+++ b/Makefile
@@ -129,7 +129,7 @@ bench: benchmark.md
 	  for x in `seq 1 20` ; do \
 	  /usr/bin/env time -p ${PROG} $< >/dev/null ; \
 		  done \
-	} 2>&1  | tee rawdata | grep 'user' |\
+	} 2>&1  | grep 'real' |\
 	          awk '{print $$2}' | \
 		  python3 'bench/stats.py'
 
-- 
cgit v1.2.3