fixes #10030 bootstrap is insulated from user config (#10244)

This commit is contained in:
Timothee Cour 2019-01-10 08:49:57 -08:00 • committed by Andreas Rumpf
commit 0bb76dde54
2 changed files with 12 additions and 3 deletions

View file

@ -26,6 +26,10 @@ build_nim_csources(){
[ -f $nim_csources ] || echo_run build_nim_csources
echo_run bin/nim c koch # Note: if fails, may need to `cd csources && git pull`
# 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
echo_run ./koch boot -d:release
echo_run ./koch tools # Compile Nimble and other tools.