From 3d7d06571c1cf287362c9f1b00b4e2d4f95fdc1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= <stefantalpalaru@yahoo.com>
Date: Fri, 14 Feb 2020 21:15:52 +0100
Subject: [PATCH] isolate the build process from external config files (#13411)

---
 build_all.bat | 5 +++--
 build_all.sh  | 7 ++++---
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/build_all.bat b/build_all.bat
index 59df15594e3b..7967e2584d05 100644
--- a/build_all.bat
+++ b/build_all.bat
@@ -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
\ No newline at end of file
+koch.exe boot -d:release --skipUserCfg --skipParentCfg
+koch.exe tools --skipUserCfg --skipParentCfg
+
diff --git a/build_all.sh b/build_all.sh
index 2ed2233e92a2..d3bba2211c48 100644
--- a/build_all.sh
+++ b/build_all.sh
@@ -27,7 +27,7 @@ build_nim_csources(){
       # some args were passed (eg: `--cpu i386`), need to call build.sh
       build_nim_csources_via_script "$@"
     else
-      # no args, use multhreaded (5X faster on 16 cores: 10s instead of 50s)
+      # no args, use multiple Make jobs (5X faster on 16 cores: 10s instead of 50s)
       makeX=make
       unamestr=$(uname)
       if [ "$unamestr" = 'FreeBSD' ]; then
@@ -47,5 +47,6 @@ build_nim_csources(){
 # Note: if fails, may need to `cd csources && git pull`
 echo_run bin/nim c --skipUserCfg --skipParentCfg koch
 
-echo_run ./koch boot -d:release
-echo_run ./koch tools # Compile Nimble and other tools.
+echo_run ./koch boot -d:release --skipUserCfg --skipParentCfg
+echo_run ./koch tools --skipUserCfg --skipParentCfg # Compile Nimble and other tools.
+