Exit script/build immediately upon error (#1108)

Without this change, errors in the build process do not cancel the build, leading to additional errors that can obscure the cause of the build failure.
planck-repl · Aug 28, 2024 · 116c5eb · 116c5eb
1 parent 0e336f7
commit 116c5eb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/script/build b/script/build
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -e
+
 while [ $# -gt 0 ]
 do
   case "$1" in

diff --git a/script/get-closure-library b/script/get-closure-library
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -e
+
 if [ "${VERBOSE_BUILD:-0}" == "1" ]; then
   set -x
 fi