diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-06-01 16:04:56 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-06-01 16:07:02 -0400 |
commit | 120aedbdff7dbb9b394dadabb1f431608b42de67 (patch) | |
tree | 6e018a6c0055471c1d017e08c5c49a23bf3eea23 /.gitlab-ci.yml | |
parent | c68e7e1e4c0bddd8b07cd8a2b3651c8cbb4b7851 (diff) | |
download | haskell-120aedbdff7dbb9b394dadabb1f431608b42de67.tar.gz |
gitlab-ci: Disable use of ld.lld on ARMv7wip/T18280
It turns out that lld non-deterministically fails on ARMv7. I suspect
this may be due to the a kernel regression as this only started
happening when we upgraded to 5.4. Nevertheless, easily avoided by
simply sticking with gold.
Works around #18280.
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: |