diff --git a/run.sh b/run.sh index 1c8911a5f37c0cebf22295202c8d6a08838535a7..34de7895897378455fc109d4b80b70426409d953 100755 --- a/run.sh +++ b/run.sh @@ -25,7 +25,7 @@ STAGE="$2" set -eo pipefail # trap any error, and mark it as a system failure. -trap "echo FAIL_HERE; exit $SYSTEM_FAILURE_EXIT_CODE" ERR +trap "exit $SYSTEM_FAILURE_EXIT_CODE" ERR # debug sub-stages: #echo "Running run.sh with args: $*"