diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bfa97897bd..de311ce1ea 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -482,7 +482,9 @@ nightly-aarch64-linux-deb9: variables: TEST_ENV: "armv7-linux-deb9" BIN_DIST_PREP_TAR_COMP: "ghc-armv7-linux-deb9.tar.xz" - CONFIGURE_ARGS: "--host=armv7-linux-gnueabihf --build=armv7-linux-gnueabihf --target=armv7-linux-gnueabihf" + # N.B. We disable ld.lld explicitly here because it appears to fail + # non-deterministically on ARMv7. See #18280. + CONFIGURE_ARGS: "--host=armv7-linux-gnueabihf --build=armv7-linux-gnueabihf --target=armv7-linux-gnueabihf LD=ld.gold GccUseLdOpt=-fuse-ld=gold" cache: key: linux-armv7-deb9 tags: |