diff options
| -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 |