diff --git a/Tools/ci_build_all_runner.sh b/Tools/ci_build_all_runner.sh index 4f314c0fca..37ca3296a1 100755 --- a/Tools/ci_build_all_runner.sh +++ b/Tools/ci_build_all_runner.sh @@ -1,6 +1,7 @@ #!/bin/bash # This script is meant to be used by the build_all.yml workflow in a github runner # Please only modify if you know what you are doing +set -e targets=$1 for target in ${targets//,/ }