diff options
| -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 87f9b96525..d9f853cdcd 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -240,7 +240,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" } |