diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-09-18 14:00:02 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-09-18 14:00:02 -0400 |
commit | c0716fcc7e8de24c3ca4dd2a714a848661991f1f (patch) | |
tree | e6e114123eb4bceeaa6b9e93ac93eefe16b7982c | |
parent | 4882dedbd9062106389a9ef0e818afeac0d970da (diff) | |
download | haskell-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.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 |