properly fix #10030 by skipping all external configs (#10324)

This commit is contained in:
Timothee Cour 2019-01-15 23:14:55 -08:00 • committed by Andreas Rumpf
commit e0afacb9f2
3 changed files with 7 additions and 7 deletions

View file

@ -27,9 +27,8 @@ build_nim_csources(){
[ -f $nim_csources ] || echo_run build_nim_csources
# Note: if fails, may need to `cd csources && git pull`
# Note: --skipUserCfg is to prevent newer flags from
# breaking bootstrap phase
echo_run bin/nim c --skipUserCfg koch
# see D20190115T162028
echo_run bin/nim c --skipUserCfg --skipParentCfg koch
echo_run ./koch boot -d:release
echo_run ./koch tools # Compile Nimble and other tools.