diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-01-30 10:37:13 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-05 16:28:54 -0500 |
commit | f33b150411c16c1a3d29265a3037958924ba0bf3 (patch) | |
tree | ab57a6c0010f3da26fb121f28bcc6003583c6002 | |
parent | 230e83003af4417f7ca58836ab8bc033592e8b2f (diff) | |
download | haskell-f33b150411c16c1a3d29265a3037958924ba0bf3.tar.gz |
gitlab-ci: Always use mingw64 python on Windows
-rwxr-xr-x | .gitlab/ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index d265bd6242..1798138700 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -83,6 +83,9 @@ function mingw_init() { source /etc/msystem MINGW_MOUNT_POINT="${MINGW_PREFIX}" PATH="$MINGW_MOUNT_POINT/bin:$PATH" + + # We always use mingw64 Python to avoid path length issues like #17483. + export PYTHON="/mingw64/bin/python3" } # This will contain GHC's local native toolchain |