diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-15 22:56:57 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-15 22:56:57 -0800 |
| commit | 2db928d9a6faec16182ec494d3c0cd3424a03d4e (patch) | |
| tree | 0c909ead182f9681dcc5001426b3186ead58cb69 | |
| parent | 8747c9d0350b2f5e704b5c98f47bfc536e96c1eb (diff) | |
'make bench' - don't require rebuilding each time.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -91,8 +91,8 @@ fuzztest: /usr/bin/env time -p $(PROG) >/dev/null && rm fuzz-$$i.txt ; \ done } 2>&1 | grep 'user\|abnormally' -bench: $(BUILDDIR) - TIMER=1 make +bench: + # First build with TIMER=1 { for x in `seq 1 100` ; do \ /usr/bin/env time -p ${PROG} progit.md >/dev/null ; \ done \ |