don't build csources twice on Nim devel

This commit is contained in:
Ștefan Talpalaru 2021-06-17 04:52:02 +02:00
parent 77747657f6
commit a1da1f403d
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 1 additions and 0 deletions

View File

@ -149,6 +149,7 @@ build_nim() {
sed \
-e 's/koch$/--warnings:off --hints:off koch/' \
-e 's/koch boot/koch boot --warnings:off --hints:off/' \
-e '/nimBuildCsourcesIfNeeded/d' \
build_all.sh > build_all_custom.sh
sh build_all_custom.sh
rm build_all_custom.sh