commit 80e7070a41351c436220b28f8bae7745cee211e8
parent 800135c45d41893f61c6ecd725f07391becba28c
Author: Christian Grothoff <christian@grothoff.org>
Date: Sat, 29 Jun 2013 19:59:36 +0000
-keep file that caused crash around
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/src/plugins/fuzz_default.sh b/src/plugins/fuzz_default.sh
@@ -29,6 +29,7 @@ do
if ! "$bindir/extract" -i "$tmpfile" > /dev/null
then
echo "$tmpfile with seed $seed failed"
+ mv $tmpfile $tmpfile.keep
ret=1
fi
seed=`expr $seed + 1`