diff options
| -rw-r--r-- | configure.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.bat b/configure.bat index 503b47b84..11adb9445 100644 --- a/configure.bat +++ b/configure.bat @@ -1,5 +1,5 @@ REM Set the MinGW environment variables.
-if "%MINGW_BIN%"=="" mingwenv.bat
+if "%MINGW_BIN%"=="" call mingwenv.bat
REM Delete the CMake cache. Needed when changes on the CMakeLists should be applied in a consistent way.
del CMakeCache.txt
|