diff options
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index 8926a397..a7f02f6e 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -15,6 +15,8 @@ mkdir -p $DIR/rtfail rm -f $DIR/tests.xml +cat $SAILDIR/lib/prelude.sail $SAILDIR/mips_new_tc/mips_prelude.sail > $DIR/pass/mips_prelude.sail + pass=0 fail=0 |