diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-15 22:55:18 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-15 22:55:18 -0800 |
commit | 8747c9d0350b2f5e704b5c98f47bfc536e96c1eb (patch) | |
tree | 1d3c6a3a3f998e89427af2668a00d341f14c1a7c | |
parent | 0c860dad6f79e2e3b7d25ebd50e6bd3322750763 (diff) |
Fixed 'make bench' again.
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 \ |