diff options
| author | Théo Zimmermann | 2020-12-30 11:35:33 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-30 15:01:41 +0100 |
| commit | 83bce173cf47ce216b656f47cf5fa0215375e127 (patch) | |
| tree | f0edec3166c08dcf1945e9e4dedab0c5ec7f4692 /dev/build | |
| parent | 30f648dc29958add42e7509a9c29f271f768e183 (diff) | |
Fix failing Windows CI builds.
Following a recent change in Cygwin.
Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>
Diffstat (limited to 'dev/build')
| -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 |