diff options
| author | Maxime Dénès | 2017-09-19 14:37:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-21 16:13:52 +0200 |
| commit | dd51d693c63860c9d05306f39548581c4854d94d (patch) | |
| tree | a697eceb167bd4cdba7287c2d40d35e24b627977 /dev | |
| parent | 9933871efd122163f7e2dfe8377b9b2dd384b47b (diff) | |
Print Cygwin setup output rather than logging in to a file.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/build/windows/MakeCoq_MinGW.bat | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat index a420b5d8bb..59e66e08d7 100644 --- a/dev/build/windows/MakeCoq_MinGW.bat +++ b/dev/build/windows/MakeCoq_MinGW.bat @@ -328,12 +328,6 @@ ECHO ========== INSTALL CYGWIN ========== REM Cygwin setup sets proper ACLs (permissions) for folders it CREATES. REM Otherwise chmod won't work and e.g. the ocaml build will fail. REM Cygwin setup does not touch the ACLs of existing folders. -REM => Create the setup log in a temporary location and move it later. - -REM Get Unique temporary file name -:logfileloop -SET LOGFILE=%TEMP%\CygwinSetUp%RANDOM%-%RANDOM%-%RANDOM%-%RANDOM%.log -if exist "%LOGFILE%" GOTO logfileloop REM Run Cygwin Setup @@ -369,12 +363,10 @@ IF "%RUNSETUP%"=="Y" ( -P gtk-update-icon-cache ^ -P libtool,automake ^ -P intltool ^ - > "%LOGFILE%" ^ || GOTO ErrorExit MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build" MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build\buildlogs" - MOVE "%LOGFILE%" "%CYGWIN_INSTALLDIR_WFMT%\build\buildlogs\cygwinsetup.log" || GOTO ErrorExit ) |