diff options
| author | coqbot-app[bot] | 2020-12-30 18:31:14 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-30 18:31:14 +0000 |
| commit | 039f04c2caf7c8da380ca8d582e9edae3e6d5c06 (patch) | |
| tree | a492b93fec8f8b90a88eefc302d7d209d9cd98fe /dev | |
| parent | d6331216fd8f5e655ab525677ef1e1af634327b5 (diff) | |
| parent | 83bce173cf47ce216b656f47cf5fa0215375e127 (diff) | |
Merge PR #13692: Fix failing Windows CI builds.
Reviewed-by: gares
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/build/windows/makecoq_mingw.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index beed8bc443..4c376f563f 100755 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -143,6 +143,9 @@ CYGWIN_REPO_FOLDER=${CYGWIN_REPO_FOLDER//\//%2f} cp "$CYGWIN_LOCAL_CACHE_WFMT/$CYGWIN_REPO_FOLDER/$CYGWINARCH/setup.ini" $TARBALLS cp /etc/setup/installed.db $TARBALLS +# Gtksourceview3 needs python but Cygwin now only installs python2 +ln -s -f /usr/bin/python2 /usr/bin/python + ###################### LOGGING ##################### # The folder which receives log files |