# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1484251743 -3600
# Node ID 8cfcd76cc65e25402658b91d4810157f4c4e4067
# Parent  d0eae4e1bdc34a86b4181705dff32f5f2733d6f6
Record test program exit codes, no longer testing them for failure.

diff -r d0eae4e1bdc3 -r 8cfcd76cc65e test_all.sh
--- a/test_all.sh	Thu Jan 12 18:04:32 2017 +0100
+++ b/test_all.sh	Thu Jan 12 21:09:03 2017 +0100
@@ -105,11 +105,11 @@
 
         echo "$FILENAME..." 1>&2
         OUTLOG="_results/$TESTNAME.out"
+        OUTCODE="_results/$TESTNAME.exitcode"
 
         echo " (run)..." 1>&2
-        if ! "$FILENAME" > "$OUTLOG" < "$TESTINPUT" ; then
-            exit 1
-        fi
+        "$FILENAME" > "$OUTLOG" < "$TESTINPUT"
+        echo $? > "$OUTCODE"
     done
 
     exit 0
@@ -189,6 +189,7 @@
     if [ "$OPTION" = '--build' ] || [ "$OPTION" = "--build-only" ] ; then
         BUILDLOG="_results/$TESTNAME.build"
         OUTLOG="_results/$TESTNAME.out"
+        OUTCODE="_results/$TESTNAME.exitcode"
 
         echo " (build)..." 1>&2
         if ! make -C "$DATADIR/_generated" clean > "$BUILDLOG" || \
@@ -200,9 +201,8 @@
             mv "$DATADIR/_generated/main" "_results/$TESTNAME"
         else
             echo " (run)..." 1>&2
-            if ! "$DATADIR/_generated/main" > "$OUTLOG" < "$TESTINPUT" ; then
-                exit 1
-            fi
+            "$DATADIR/_generated/main" > "$OUTLOG" < "$TESTINPUT"
+            echo $? > "$OUTCODE"
         fi
     fi