diff options
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4421c0d6df..90d5f03369 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -949,7 +949,7 @@ release-x86_64-linux-deb8: BIN_DIST_PREP_TAR_COMP: "ghc-x86_64-alpine-linux.tar.xz" # Can't use ld.gold due to #13958. CONFIGURE_ARGS: "--disable-ld-override" - HADRIAN_ARGS: "--docs=no-sphinx" + HADRIAN_ARGS: "--docs=no-sphinx --integer-simple" # encoding004 due to lack of locale support # T10458 due to fact that dynamic linker tries to reload libAS BROKEN_TESTS: "encoding004 T10458" |