summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-01-30 10:37:13 -0500
committerBen Gamari <ben@smart-cactus.org>2020-02-05 16:28:54 -0500
commitf33b150411c16c1a3d29265a3037958924ba0bf3 (patch)
treeab57a6c0010f3da26fb121f28bcc6003583c6002
parent230e83003af4417f7ca58836ab8bc033592e8b2f (diff)
downloadhaskell-f33b150411c16c1a3d29265a3037958924ba0bf3.tar.gz
gitlab-ci: Always use mingw64 python on Windows
-rwxr-xr-x.gitlab/ci.sh3
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