diff options
| author | Ștefan Talpalaru <stefantalpalaru@yahoo.com> | 2020-02-14 21:15:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-14 21:15:52 +0100 |
| commit | 3d7d06571c1cf287362c9f1b00b4e2d4f95fdc1b (patch) | |
| tree | ff20623201950376802198000a1a2e13bbe063f7 /build_all.bat | |
| parent | ccd2e044cb820d186c7dac96c753ce25253ad628 (diff) | |
| download | Nim-3d7d06571c1cf287362c9f1b00b4e2d4f95fdc1b.tar.gz | |
isolate the build process from external config files (#13411)
Diffstat (limited to 'build_all.bat')
| -rw-r--r-- | build_all.bat | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/build_all.bat b/build_all.bat index 59df15594..7967e2584 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 + |