add "-d:disableMarchNative" to "koch boot"

This commit is contained in:
Ștefan Talpalaru 2020-02-12 00:36:19 +01:00
parent acfe8c4bfe
commit 5c9585b004
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 --warnings:off --hints:off/' \ -e 's/koch boot/koch boot --warnings:off --hints:off -d:disableMarchNative/' \
-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