diff --git a/scripts/build_nim.sh b/scripts/build_nim.sh index 28e3740..0dc4e98 100755 --- a/scripts/build_nim.sh +++ b/scripts/build_nim.sh @@ -117,9 +117,9 @@ build_nim() { cp -a bin/nim bin/nim_csources fi sed \ - -e 's/koch$/--warnings:off --hints:off koch/' \ - -e 's/koch boot/koch boot --listCmd --skipUserCfg --skipParentCfg/' \ - -e 's/koch tools/koch --stable tools --warnings:off --hints:off/' \ + -e 's/koch$/--skipUserCfg --skipParentCfg --warnings:off --hints:off koch/' \ + -e 's/koch boot/koch boot --skipUserCfg --skipParentCfg --warnings:off --hints:off/' \ + -e 's/koch tools/koch --stable tools --skipUserCfg --skipParentCfg --warnings:off --hints:off/' \ build_all.sh > build_all_custom.sh sh build_all_custom.sh rm build_all_custom.sh