Added -e flag to bash build.sh

We want audible fails
guyush1 · Dec 21, 2024 · 96e99ad · 96e99ad
1 parent 2454257
commit 96e99ad
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/compilation/build.sh b/src/compilation/build.sh
@@ -4,6 +4,9 @@
 script_dir=$(dirname "$0")
 source "$script_dir/utils.sh"
 
+# Don't want random unknown things to fail in the build procecss!
+set -e
+
 function set_compliation_variables() {
     # Set compilation variables such as which compiler to use.
     #