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-14 10:17:00 -0500 |
| commit | b613a961be70e75747816be4d7642b6378a84c3f (patch) | |
| tree | 89d96fa3651055658d11d4c4ea37d9b2a1092509 /.gitlab | |
| parent | 261a3cf83b757f6422acafa6e436ea7bb05ff532 (diff) | |
| download | haskell-b613a961be70e75747816be4d7642b6378a84c3f.tar.gz | |
gitlab-ci: Always use mingw64 python on Windows
Diffstat (limited to '.gitlab')
| -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 |