diff options
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 19afcdb5f6..3599aabd82 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -236,7 +236,9 @@ function set_toolchain_paths() { } function cabal_update() { - run "$CABAL" update --index="$HACKAGE_INDEX_STATE" + # In principle -w shouldn't be necessary here but with + # cabal-install 3.8.1.0 it is, due to cabal#8447. + run "$CABAL" update -w "$GHC" --index="$HACKAGE_INDEX_STATE" } |