From 0bddaba83333e859eb67d70fde4734689d18da82 Mon Sep 17 00:00:00 2001 From: tersec Date: Mon, 16 Dec 2024 14:01:39 +0000 Subject: [PATCH] compatibility across Nimble versions (#96) --- scripts/build_nim.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/build_nim.sh b/scripts/build_nim.sh index 35ff95e..ead3489 100755 --- a/scripts/build_nim.sh +++ b/scripts/build_nim.sh @@ -147,10 +147,10 @@ build_nim() { ./koch --skipIntegrityCheck boot -d:release --skipUserCfg --skipParentCfg --warnings:off --hints:off if [[ "${QUICK_AND_DIRTY_COMPILER}" == "0" ]]; then # We want tools - ./koch tools -d:release --skipUserCfg --skipParentCfg --warnings:off --hints:off + ./koch tools -d:release --skipUserCfg --warnings:off --hints:off elif [[ "${QUICK_AND_DIRTY_NIMBLE}" != "0" ]]; then # We just want nimble - ./koch nimble -d:release --skipUserCfg --skipParentCfg --warnings:off --hints:off + ./koch nimble -d:release --skipUserCfg --warnings:off --hints:off fi else # Git commits