summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2014-11-10 12:56:35 -0800
committerJohn MacFarlane <fiddlosopher@gmail.com>2014-11-10 12:56:35 -0800
commit6d2137fd8a43dd82eb494efc59d2c2ffdb05138b (patch)
tree5181c82eca13316667def4d973b7350327742491
parentcf4501323a49d817e852844cfd3fbb14de888fd9 (diff)
Fuzztest: indicate when command terminates abnormally.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f7556d7..7b1773d 100644
--- a/Makefile
+++ b/Makefile
@@ -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