diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-09-18 14:00:02 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-19 15:47:24 -0400 |
| commit | 2f7ef2fb3234cdfb89b3da1298fc9c1b7381e418 (patch) | |
| tree | a0e68db668508b9c25928bc43e877c545bf96b1a /.gitlab | |
| parent | a89c2fbab9bcf7d769e9d27262ab29f93342f114 (diff) | |
| download | haskell-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).
Diffstat (limited to '.gitlab')
| -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 |