diff options
-rwxr-xr-x | tools/fuzz-test.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tools/fuzz-test.sh b/tools/fuzz-test.sh index 581fceac09..6336dac3ea 100755 --- a/tools/fuzz-test.sh +++ b/tools/fuzz-test.sh @@ -168,11 +168,6 @@ while [ \( $PASS -lt $MAX_PASSES -o $MAX_PASSES -lt 1 \) -a $DONE -ne 1 ] ; do fi echo -n " $CF: " - if [ $VALGRIND -eq 1 -a `ls -s $CF | cut -d' ' -f1` -gt 8000 ]; then - echo "Too big for valgrind" - continue - fi - "$CAPINFOS" "$CF" > /dev/null 2> $TMP_DIR/$ERR_FILE RETVAL=$? if [ $RETVAL -eq 1 ] ; then @@ -184,6 +179,11 @@ while [ \( $PASS -lt $MAX_PASSES -o $MAX_PASSES -lt 1 \) -a $DONE -ne 1 ] ; do ws_exit_error fi + if [ $VALGRIND -eq 1 -a `ls -s $CF | cut -d' ' -f1` -gt 8000 ]; then + echo "Too big for valgrind" + continue + fi + DISSECTOR_BUG=0 VG_ERR_CNT=0 |