"--skipUserCfg --skipParentCfg" does the trick

This commit is contained in:
Ștefan Talpalaru 2020-02-12 01:40:41 +01:00
parent 9bf2fc264c
commit 2c4faa5372
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 3 additions and 3 deletions

View File

@ -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