diff options
Diffstat (limited to 'scripts/build.sh')
-rwxr-xr-x | scripts/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 84a72481c..890db3b48 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -12,6 +12,10 @@ # in subsurface/build # create a log file of the build + +# don't keep going if we run into an error +set -e + exec 1> >(tee build.log) 2>&1 SRC=$(pwd) |