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-14 10:17:00 -0500
commitb613a961be70e75747816be4d7642b6378a84c3f (patch)
tree89d96fa3651055658d11d4c4ea37d9b2a1092509
parent261a3cf83b757f6422acafa6e436ea7bb05ff532 (diff)
downloadhaskell-b613a961be70e75747816be4d7642b6378a84c3f.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