summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-09-18 14:00:02 -0400
committerBen Gamari <ben@smart-cactus.org>2020-09-18 14:00:02 -0400
commitc0716fcc7e8de24c3ca4dd2a714a848661991f1f (patch)
treee6e114123eb4bceeaa6b9e93ac93eefe16b7982c
parent4882dedbd9062106389a9ef0e818afeac0d970da (diff)
downloadhaskell-wip/happy-1.20.tar.gz
gitlab-ci: Ensure that cabal-install overwrites existing executableswip/happy-1.20
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