isolate the build process from external config files (#13411)

This commit is contained in:
Ștefan Talpalaru 2020-02-14 21:15:52 +01:00 • committed by GitHub
commit 3d7d06571c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 5 deletions

View file

@ -12,5 +12,6 @@ if not exist bin\nim.exe (
cd ..
)
bin\nim.exe c --skipUserCfg --skipParentCfg koch
koch.exe boot -d:release
koch.exe tools
koch.exe boot -d:release --skipUserCfg --skipParentCfg
koch.exe tools --skipUserCfg --skipParentCfg