diff options
| author | IBNobody <ibnobody@gmail.com> | 2016-09-15 07:59:14 -0500 |
|---|---|---|
| committer | IBNobody <ibnobody@gmail.com> | 2016-09-15 07:59:14 -0500 |
| commit | 4f5f5f0103eab40fe6621cf58f4f5b8dcffda9bd (patch) | |
| tree | 326bd87f59cce29f30cce6a9457d854ab46090f3 /util | |
| parent | edb5e72605048b3f1fdbd9ac5b3cbb5e1f41cfad (diff) | |
Fixed Win_Check Verbose mode.
Diffstat (limited to 'util')
| -rw-r--r-- | util/Win_Check.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/Win_Check.bat b/util/Win_Check.bat index 28f89f10e2..fcf452d42c 100644 --- a/util/Win_Check.bat +++ b/util/Win_Check.bat @@ -19,7 +19,7 @@ set KEYMAP_CLEAN=atomic-pvc-clean :: ----------------------------------------------------------------------------- -if %0 == VERBOSE (goto :Verbose_Make) else (goto :Normal_Make) +if %1 == VERBOSE (goto :Verbose_Make) else (goto :Normal_Make) :Normal_Make set MAKE_CMD_LEVEL_0=make -r -f Makefile COLOR=FALSE @@ -127,7 +127,7 @@ set header=MINGW CHECK - OPTIONAL & call :ReportHeader if exist %MINGW_BASE_DIR% (echo Expected MinGW Base Dir = %MINGW_BASE_DIR%>>%REPORT_NAME% 2>&1) else (echo Expected MinGW Base Dir = %MINGW_BASE_DIR% - Not Found>>%REPORT_NAME% 2>&1) echo.>>%REPORT_NAME% 2>&1 set filename=mingw32-make.exe & set version_cmd=--version & set version_find="GNU Make" & call :ReportVersion -if exist %MINGW_BASE_DIR%\bin\gcc.exe (ECHO It is not recommended to have make.exe in mingw/bin.>>%REPORT_NAME% 2>&1 & echo.>>%REPORT_NAME% 2>&1) +if exist %MINGW_BASE_DIR%\bin\make.exe (ECHO It is not recommended to have make.exe in mingw/bin.>>%REPORT_NAME% 2>&1 & echo.>>%REPORT_NAME% 2>&1) :: ----------------------------------------------------------------------------- |