aboutsummaryrefslogtreecommitdiff
path: root/build-mingw.bat
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-10-07 22:01:39 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-10-08 11:24:22 +0300
commit749179340193d4fd0985f11dba0333ebac0516ec (patch)
treea0d2671eb5641b3005b4615539d3ac993d4b0c5c /build-mingw.bat
parent7011a282149b4ce3aa193001de65f975e615464b (diff)
Suppress loading of default options files in build scripts
Diffstat (limited to 'build-mingw.bat')
-rw-r--r--build-mingw.bat6
1 files changed, 6 insertions, 0 deletions
diff --git a/build-mingw.bat b/build-mingw.bat
index 21704b4..067d517 100644
--- a/build-mingw.bat
+++ b/build-mingw.bat
@@ -219,6 +219,12 @@ rem
%cxx% --version
@if errorlevel 1 goto error
+@rem Suppress loading of default options files.
+@rem
+set "BUILD2_DEF_OPT=0"
+set "BPKG_DEF_OPT=0"
+set "BDEP_DEF_OPT=0"
+
@rem Bootstrap.
@rem
cd build2