diff options
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 18e63b33bd..c8877973c9 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -560,8 +560,14 @@ else fi case "$(uname)" in - MSYS_*|MINGW*) exe=".exe" ;; - *) exe="" ;; + MSYS_*|MINGW*) + exe=".exe" + # N.B. cabal-install expects CABAL_DIR to be a Windows path + CABAL_DIR="$(cygpath -w "$CABAL_DIR")" + ;; + *) + exe="" + ;; esac MAKE="make" |