Merge pull request #459 from MSoegtropIMC/cygwin-test-release-2

Temporarily allow test version of cygwin (should fix hangs)
coq · Jan 16, 2025 · 93afd1d · 93afd1d
2 parents 972dbc8 + 34f9708
commit 93afd1d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/coq_platform_make_windows.bat b/coq_platform_make_windows.bat
@@ -405,6 +405,7 @@ IF "%RUNSETUP%"=="y" (
     --root "%CYGWIN_INSTALLDIR_WFMT%" ^
     --local-package-dir "%CYGWIN_LOCAL_CACHE_WFMT%" ^
     --no-shortcuts ^
+    --allow-test-packages ^
     %CYGWIN_OPT% ^
     -P cygwin-devel,gcc-core,gcc-g++, ^
     -P rsync,patch,diffutils,curl,make,zip,unzip,git,m4,perl,wget ^