summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-10-13 13:28:21 -0400
committerBen Gamari <ben@well-typed.com>2019-10-24 16:39:41 -0400
commit207002220d885f8e32ca06a024bc86a5daab7c25 (patch)
tree2ced81df56c02d278691ded481da45c6a6ada8d0
parentfd62a76ea4c4d03dec5f2a1ce3021d222918508a (diff)
downloadhaskell-wip/hadrian-doc-typo.tar.gz
gitlab-ci: Enable sphinx documentation in linux hadrian jobswip/hadrian-doc-typo
This was disabled in 9aa27273afddd3cbf4c03c70954f24ac8ea1a706 but it's not clear why. Let's try reenabling it.
-rw-r--r--.gitlab-ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d9f778419..fd986e6fed 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -197,8 +197,8 @@ lint-release-changelogs:
- if [[ -d ./cabal-cache ]]; then cp -R ./.cabal-cache ~/.cabal-cache; fi
- ./boot
- ./configure $CONFIGURE_ARGS
- - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` --docs=no-sphinx binary-dist
- - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` --docs=no-sphinx test --summary-junit=./junit.xml
+ - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` binary-dist
+ - hadrian/build.cabal.sh --flavour=$FLAVOUR -j`mk/detect-cpu-count.sh` test --summary-junit=./junit.xml
- mv _build/bindist/ghc*.tar.xz ghc.tar.xz
cache:
key: hadrian