We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e21298d commit a0e8156Copy full SHA for a0e8156
src/compilation/build.sh
@@ -4,6 +4,9 @@
4
script_dir=$(dirname "$0")
5
source "$script_dir/utils.sh"
6
7
+# Don't want random unknown things to fail in the build procecss!
8
+set -e
9
+
10
function set_compliation_variables() {
11
# Set compilation variables such as which compiler to use.
12
#
0 commit comments