diff --git a/tools/unix/build_omim.sh b/tools/unix/build_omim.sh index 62541416d..b7b91ecf2 100755 --- a/tools/unix/build_omim.sh +++ b/tools/unix/build_omim.sh @@ -78,9 +78,7 @@ fi OMIM_PATH="$(cd "${OMIM_PATH:-$(dirname "$0")/../..}"; pwd)" -if [ "$OPT_TARGET" == "desktop" ]; then - ./configure.sh -elif [ -z "$SKIP_MAP_DOWNLOAD$SKIP_GENERATE_SYMBOLS$SKIP_GENERATE_DRULES" ] +if [ "$OPT_TARGET" != "desktop" ] && [ -z "$SKIP_MAP_DOWNLOAD$SKIP_GENERATE_SYMBOLS$SKIP_GENERATE_DRULES" ]; then SKIP_MAP_DOWNLOAD=1 SKIP_GENERATE_SYMBOLS=1 SKIP_GENERATE_DRULES=1 ./configure.sh else ./configure.sh