diff options
| -rw-r--r-- | util/Win_Check.bat (renamed from util/Win_Check_Output.bat) | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/util/Win_Check_Output.bat b/util/Win_Check.bat index f57083e6d9..28f89f10e2 100644 --- a/util/Win_Check_Output.bat +++ b/util/Win_Check.bat @@ -44,6 +44,7 @@ set header=CURRENT DIRECTORY & call :ReportHeader echo %CD%>>%REPORT_NAME% 2>&1 echo.>>%REPORT_NAME% 2>&1 + :: ----------------------------------------------------------------------------- set header=CURRENT PATHS & call :ReportHeader @@ -54,10 +55,10 @@ echo.>>%REPORT_NAME% 2>&1 :: ----------------------------------------------------------------------------- -set header=CURRENT ENVIRONMENTAL SETTINGS & call :ReportHeader +rem set header=CURRENT ENVIRONMENTAL SETTINGS & call :ReportHeader -set>>%REPORT_NAME% 2>&1 -echo.>>%REPORT_NAME% 2>&1 +rem set>>%REPORT_NAME% 2>&1 +rem echo.>>%REPORT_NAME% 2>&1 :: ----------------------------------------------------------------------------- |