diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index b0e105b7a482eaac1a79f1438bb9f1c2049adf13..df8db03bb7f38aac88a9abb545555cf27018af5b 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -283,7 +283,7 @@ 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}*"