From 85f4c1c3eb81c5b4883daa494eed49b00edf0539 Mon Sep 17 00:00:00 2001 From: x7z4w Date: Sun, 9 Nov 2025 16:37:02 +0100 Subject: [PATCH] [build] Fix hash for failed generation (#2421) Co-authored-by: x7z4w Co-committed-by: x7z4w --- configure.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.sh b/configure.sh index b1abb0ebd..57f3b18d1 100755 --- a/configure.sh +++ b/configure.sh @@ -119,7 +119,7 @@ echo "Generating search categories / synonyms..." if [ -z "$SKIP_GENERATE_SYMBOLS" ]; then if Diff data/symbols_hash data/styles/*/*/symbols/* || [ ! -z "$SYMBOLS_NOT_GENERATED" ]; then echo "Generating symbols..." - bash ./tools/unix/generate_symbols.sh + bash ./tools/unix/generate_symbols.sh || (rm data/symbols_hash; exit 1) fi else echo "Skipping generate symbols..." @@ -128,7 +128,7 @@ fi if [ -z "$SKIP_GENERATE_DRULES" ]; then if Diff data/drules_hash data/styles/*/*/*.mapcss data/styles/*/*/*.prio.txt data/mapcss-mapping.csv || [ ! -z "$DRULES_NOT_GENERATED" ]; then echo "Generating drules..." - bash ./tools/unix/generate_drules.sh + bash ./tools/unix/generate_drules.sh || (rm data/drules_hash; exit 1) fi else echo "Skipping generate drules..."