diff options
-rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index dfc3d9e6e4..2abe3f4bdb 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -288,7 +288,9 @@ function setup_toolchain() { cabal_install="$CABAL v2-install \ --with-compiler=$GHC \ - --index-state=$hackage_index_state --installdir=$toolchain/bin" + --index-state=$hackage_index_state \ + --installdir=$toolchain/bin \ + --overwrite-policy=always" # Avoid symlinks on Windows case "$(uname)" in |