build-prod.sh --continue

This commit is contained in:
Robin E. R. Davies
2026-01-10 18:24:43 -05:00
parent bec1850ae5
commit 9c711a5ce0
+5 -1
View File
@@ -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