diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-17 11:01:17 -0800 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-17 11:01:17 -0800 |
| commit | a595d4a6d1cb0cccaa0d198939eff172b48c99c8 (patch) | |
| tree | dc8c075e3fb0791c93649ddff8f6de0a09c7d600 /Makefile | |
| parent | 0d29e8da52f31e76ac8df77c50e027580e1e83fa (diff) | |
More 'make bench' improvements.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |