We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b63f541 commit 739b2b4Copy full SHA for 739b2b4
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