diff --git a/build-web.sh b/build-web.sh
index b0e038e3..1501b245 100755
--- a/build-web.sh
+++ b/build-web.sh
@@ -2,7 +2,7 @@
 
 # This script builds the project's web page, including documentation.
 
-set -o pipefail # stop if any command fails
+set -e -o pipefail # stop if a command or pipeline fails
 
 lake exe cache get
 lake -R -Kenv=dev build Analysis:docs
diff --git a/build.sh b/build.sh
index d7b90272..7b08a004 100755
--- a/build.sh
+++ b/build.sh
@@ -2,7 +2,7 @@
 
 # This script builds the project's Lean code.
 
-set -o pipefail # stop if any command fails
+set -e -o pipefail # stop if a command or pipeline fails
 
 lake exe cache get
-lake build
\ No newline at end of file
+lake build