From 8b758efa4469a157a821d0e8dbb44e75a2a4ed8b Mon Sep 17 00:00:00 2001 From: Ramon Roche Date: Fri, 9 Aug 2024 09:12:02 -0700 Subject: [PATCH] tools: build tool fail --- Tools/ci_build_all_runner.sh | 1 + 1 file changed, 1 insertion(+) 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//,/ }