diff --git a/test/run.sh b/test/run.sh index dbd3fbd81ce..287eb517336 100755 --- a/test/run.sh +++ b/test/run.sh @@ -134,12 +134,15 @@ do diff_files="$diff_files $base.wasm.stderr" # Check filecheck - if grep -F -q CHECK $base.as + if [ "$SKIP_RUNNING" != yes ] then - $ECHO -n " [Filecheck]" - wasm2wat --no-check --enable-multi-value $out/$base.wasm > $out/$base.wat - cat $out/$base.wat | FileCheck $base.as > $out/$base.filecheck 2>&1 - diff_files="$diff_files $base.filecheck" + if grep -F -q CHECK $base.as + then + $ECHO -n " [FileCheck]" + wasm2wat --no-check --enable-multi-value $out/$base.wasm > $out/$base.wat + cat $out/$base.wat | FileCheck $base.as > $out/$base.filecheck 2>&1 + diff_files="$diff_files $base.filecheck" + fi fi # Run compiled program