1.1 --- a/test_all.sh Thu Jan 12 18:04:32 2017 +0100
1.2 +++ b/test_all.sh Thu Jan 12 21:09:03 2017 +0100
1.3 @@ -105,11 +105,11 @@
1.4
1.5 echo "$FILENAME..." 1>&2
1.6 OUTLOG="_results/$TESTNAME.out"
1.7 + OUTCODE="_results/$TESTNAME.exitcode"
1.8
1.9 echo " (run)..." 1>&2
1.10 - if ! "$FILENAME" > "$OUTLOG" < "$TESTINPUT" ; then
1.11 - exit 1
1.12 - fi
1.13 + "$FILENAME" > "$OUTLOG" < "$TESTINPUT"
1.14 + echo $? > "$OUTCODE"
1.15 done
1.16
1.17 exit 0
1.18 @@ -189,6 +189,7 @@
1.19 if [ "$OPTION" = '--build' ] || [ "$OPTION" = "--build-only" ] ; then
1.20 BUILDLOG="_results/$TESTNAME.build"
1.21 OUTLOG="_results/$TESTNAME.out"
1.22 + OUTCODE="_results/$TESTNAME.exitcode"
1.23
1.24 echo " (build)..." 1>&2
1.25 if ! make -C "$DATADIR/_generated" clean > "$BUILDLOG" || \
1.26 @@ -200,9 +201,8 @@
1.27 mv "$DATADIR/_generated/main" "_results/$TESTNAME"
1.28 else
1.29 echo " (run)..." 1>&2
1.30 - if ! "$DATADIR/_generated/main" > "$OUTLOG" < "$TESTINPUT" ; then
1.31 - exit 1
1.32 - fi
1.33 + "$DATADIR/_generated/main" > "$OUTLOG" < "$TESTINPUT"
1.34 + echo $? > "$OUTCODE"
1.35 fi
1.36 fi
1.37