1.1 --- a/test_all.sh Tue Dec 06 18:18:47 2016 +0100
1.2 +++ b/test_all.sh Tue Dec 06 20:32:33 2016 +0100
1.3 @@ -35,6 +35,8 @@
1.4 fi
1.5 fi
1.6
1.7 +TESTINPUT="tests/testinput.txt"
1.8 +
1.9 # Perform each test.
1.10
1.11 for FILENAME in tests/* ; do
1.12 @@ -50,6 +52,12 @@
1.13 fi
1.14 fi
1.15
1.16 + # Skip non-program files.
1.17 +
1.18 + if [ `basename "$FILENAME"` = "$TESTNAME" ]; then
1.19 + continue
1.20 + fi
1.21 +
1.22 # Run tests without an existing cache.
1.23
1.24 echo "$FILENAME..." 1>&2
1.25 @@ -96,7 +104,7 @@
1.26 fi
1.27
1.28 echo " (run)..." 1>&2
1.29 - if ! "_generated/main" > "$OUTLOG" ; then
1.30 + if ! "_generated/main" > "$OUTLOG" < "$TESTINPUT" ; then
1.31 exit 1
1.32 fi
1.33 fi