From 6d2137fd8a43dd82eb494efc59d2c2ffdb05138b Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Mon, 10 Nov 2014 12:56:35 -0800
Subject: Fuzztest:  indicate when command terminates abnormally.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3