diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index f04b3861e0..d9e48129a8 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -283,10 +283,10 @@ function fetch_ghc() { $TAR -xJf ghc.tar.xz || fail "failed to extract GHC binary distribution" case "$(uname)" in MSYS_*|MINGW*) - cp -r "ghc-${GHC_VERSION}"/* "$toolchain" + cp -r ghc-${GHC_VERSION}*/* "$toolchain" ;; *) - pushd "ghc-${GHC_VERSION}" + pushd "ghc-${GHC_VERSION}*" ./configure --prefix="$toolchain" "$MAKE" install popd |