diff --git a/scripts/all-tests.sh b/scripts/all-tests.sh index 1f89960db1..01813e027c 100755 --- a/scripts/all-tests.sh +++ b/scripts/all-tests.sh @@ -237,4 +237,7 @@ END END ;; esac + + exit $EXIT + ;; esac