From ee25fa0e36d406679f5e4adfede392382ac1ef61 Mon Sep 17 00:00:00 2001 From: x7z4w Date: Fri, 22 Aug 2025 10:00:22 +0200 Subject: [PATCH] [build] Pass SKIP envs Signed-off-by: x7z4w --- tools/unix/build_omim.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/tools/unix/build_omim.sh b/tools/unix/build_omim.sh index efb9479dd..62541416d 100755 --- a/tools/unix/build_omim.sh +++ b/tools/unix/build_omim.sh @@ -2,6 +2,10 @@ set -euo pipefail +SKIP_MAP_DOWNLOAD=$SKIP_MAP_DOWNLOAD +SKIP_GENERATE_SYMBOLS=$SKIP_GENERATE_SYMBOLS +SKIP_GENERATE_DRULES=$SKIP_GENERATE_DRULES + OPT_DEBUG= OPT_RELEASE= OPT_RELEASEDEBUGINFO= @@ -76,8 +80,10 @@ OMIM_PATH="$(cd "${OMIM_PATH:-$(dirname "$0")/../..}"; pwd)" if [ "$OPT_TARGET" == "desktop" ]; then ./configure.sh -else +elif [ -z "$SKIP_MAP_DOWNLOAD$SKIP_GENERATE_SYMBOLS$SKIP_GENERATE_DRULES" ] SKIP_MAP_DOWNLOAD=1 SKIP_GENERATE_SYMBOLS=1 SKIP_GENERATE_DRULES=1 ./configure.sh +else + ./configure.sh fi DEVTOOLSET_PATH=/opt/rh/devtoolset-7