From 83bce173cf47ce216b656f47cf5fa0215375e127 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 30 Dec 2020 11:35:33 +0100 Subject: Fix failing Windows CI builds. Following a recent change in Cygwin. Co-authored-by: Michael Soegtrop --- dev/build/windows/makecoq_mingw.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'dev') 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 -- cgit v1.2.3