From 53b559bef3407f6376bb61bfa4bf8c8cb70e5b73 Mon Sep 17 00:00:00 2001 From: Jonathan Romano Date: Mon, 14 Nov 2022 09:08:49 -0500 Subject: [PATCH] Make build script fail if any command fails (#832) --- build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build.sh b/build.sh index 4a476cc1..a736a4ee 100755 --- a/build.sh +++ b/build.sh @@ -1,3 +1,6 @@ +# Error if any command fails +set -e + # Create the build directory, preserving it if it already exists mkdir -p build cd build