summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-09-18 14:00:02 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-09-19 15:47:24 -0400
commit2f7ef2fb3234cdfb89b3da1298fc9c1b7381e418 (patch)
treea0e68db668508b9c25928bc43e877c545bf96b1a
parenta89c2fbab9bcf7d769e9d27262ab29f93342f114 (diff)
downloadhaskell-2f7ef2fb3234cdfb89b3da1298fc9c1b7381e418.tar.gz
gitlab-ci: Ensure that cabal-install overwrites existing executables
Previously cabal-install wouldn't overwrite toolchain executables if they already existed (as they likely would due to caching).
-rwxr-xr-x.gitlab/ci.sh4
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