More 'make bench' improvements.

1 files changed, 1 insertions, 1 deletions

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'