diff --git a/build.sh b/build.sh index a8e8d5f..f6fe9ec 100755 --- a/build.sh +++ b/build.sh @@ -13,6 +13,7 @@ LIB="$HERE/lib" source "${LIB}/print.sh" source "${LIB}/opt.sh" # ----------------------------------------------------------------------------- +set -eo pipefail # Runs the next build step. #