tools: build tool fail

2026-05-12 10:57:35 +08:00 · 2024-08-09 09:12:02 -07:00
parent 4d5c4b53ee
commit 8b758efa44
1 changed files with 1 additions and 0 deletions
@@ -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//,/ }