From f5faa8f5581711f5b5ecc098dd2e84cdf549ee48 Mon Sep 17 00:00:00 2001
From: PEliet <2672784691@qq.com>
Date: Wed, 15 Jul 2026 00:04:37 +0800
Subject: [PATCH 1/2] Make build scripts fail fast

---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index d7b90272f..7b08a004b 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

From 387d3b7afddb721dae1f4cb022da3fd1c8ee5a4d Mon Sep 17 00:00:00 2001
From: PEliet <2672784691@qq.com>
Date: Wed, 15 Jul 2026 00:05:47 +0800
Subject: [PATCH 2/2] Make build scripts fail fast

---
 build-web.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-web.sh b/build-web.sh
index b0e038e38..1501b2458 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