diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-10 12:56:35 -0800 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-10 12:56:35 -0800 |
| commit | 6d2137fd8a43dd82eb494efc59d2c2ffdb05138b (patch) | |
| tree | 5181c82eca13316667def4d973b7350327742491 /Makefile | |
| parent | cf4501323a49d817e852844cfd3fbb14de888fd9 (diff) | |
Fuzztest: indicate when command terminates abnormally.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -79,7 +79,7 @@ fuzztest: { for i in `seq 1 10`; do \ cat /dev/urandom | head -c $(FUZZCHARS) | iconv -f latin1 -t utf-8 | tee fuzz-$$i.txt | \ /usr/bin/env time -p $(PROG) >/dev/null && rm fuzz-$$i.txt ; \ - done } 2>&1 | grep user + done } 2>&1 | grep 'user\|abnormally' update-site: spec.html js/commonmark.js make -C $(SITE) update |