From 9c711a5ce042ac2402ddb72e8109d754e76e44f8 Mon Sep 17 00:00:00 2001
From: "Robin E. R. Davies" <rerdavies@gmail.com>
Date: Sat, 10 Jan 2026 18:24:43 -0500
Subject: [PATCH] build-prod.sh --continue

---
 build-prod.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/build-prod.sh b/build-prod.sh
index 0cf9ae4..e6352b9 100755
--- a/build-prod.sh
+++ b/build-prod.sh
@@ -4,7 +4,11 @@
 set -e
 
 # clean build
-rm -rf build
+
+if [ "$1" != "--continue" ]; then
+    rm -rf build
+fi
+
 
 # configure for release
 mkdir -p build