gitlab-ci: Don't build PDF user's guide on AArch64
authorBen Gamari <ben@smart-cactus.org>
Tue, 11 Jun 2019 23:48:56 +0000 (19:48 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Thu, 13 Jun 2019 06:51:13 +0000 (02:51 -0400)
For reasons I don't understand sphinx seems to fail to produce a .idx
file for makeindex.

.gitlab-ci.yml

index bbd708a..d17d366 100644 (file)
@@ -376,6 +376,8 @@ validate-x86_64-darwin:
   variables:
     TEST_ENV: "aarch64-linux-deb9"
     BIN_DIST_PREP_TAR_COMP: "bindistprep/ghc-aarch64-linux-deb9.tar.xz"
+    # Inexplicably makeindex fails
+    BUILD_SPHINX_PDF: "NO"
   cache:
     key: linux-aarch64-deb9
   tags: