From 4e7d1a239fe325ca938db6144f77cdabd974ac17 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Wed, 19 Jul 2017 17:13:33 +0200 Subject: In regression test mode, run cygwin setup to install dependencies. --- dev/build/windows/MakeCoq_MinGW.bat | 3 +++ 1 file changed, 3 insertions(+) (limited to 'dev/build') diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat index b2efe2ddd..a420b5d8b 100644 --- a/dev/build/windows/MakeCoq_MinGW.bat +++ b/dev/build/windows/MakeCoq_MinGW.bat @@ -344,6 +344,9 @@ IF EXIST "%CYGWIN_INSTALLDIR_WFMT%\etc\setup\installed.db" ( IF NOT "%CYGWIN_QUIET%" == "Y" ( SET RUNSETUP=Y ) +IF "%COQREGTESTING%" == "Y" ( + SET RUNSETUP=Y +) IF "%RUNSETUP%"=="Y" ( %SETUP% ^ -- cgit v1.2.3