more debugging

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

View File

@ -118,7 +118,7 @@ build_nim() {
fi fi
sed \ sed \
-e 's/koch$/--warnings:off --hints:off koch/' \ -e 's/koch$/--warnings:off --hints:off koch/' \
-e 's/koch boot/koch boot --listCmd -d:disableMarchNative/' \ -e 's/koch boot/koch boot --listCmd --skipUserCfg --skipParentCfg/' \
-e 's/koch tools/koch --stable tools --warnings:off --hints:off/' \ -e 's/koch tools/koch --stable tools --warnings:off --hints:off/' \
build_all.sh > build_all_custom.sh build_all.sh > build_all_custom.sh
sh build_all_custom.sh sh build_all_custom.sh