diff options
-rw-r--r-- | check.sh.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/check.sh.in b/check.sh.in index 441d48b7..8d8606c8 100644 --- a/check.sh.in +++ b/check.sh.in @@ -39,4 +39,10 @@ if [ ! -f "$config" ]; then fi fi -exec "$SHELL" "$XTS_RUN" -c "$config" -o results "$@" +"$SHELL" "$XTS_RUN" -c "$config" -o results "$@" +case $? in + # Treat TET_EXIT_SUCCESS and TET_EXIT_SKIP as success. SKIP just means that + # not all of the tests could be run. + 0|77) exit 0;; + *) exit 1;; +esac |