diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/run-lang-tests.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/run-lang-tests.sh b/test/run-lang-tests.sh index 767fde9..ecdb6fe 100755 --- a/test/run-lang-tests.sh +++ b/test/run-lang-tests.sh @@ -1,5 +1,6 @@ #!/bin/bash +has_failed=0 cd "$(dirname $0)" EXECUTABLE="$PWD/../hence" @@ -13,10 +14,13 @@ for src in invalid-hence/*.hence ; do rm "$outfile" else echo -ne '[\e[1;31mFAIL\e[0m]' + has_failed=1 fi echo " $src" done +exit $has_failed + #for src in valid-hence/*.hence ; do # outfile="$(mktemp)" # "$EXECUTABLE" "$src" > "$outfile" |