diff options
| author | Alp Mestanogullari <alpmestan@gmail.com> | 2019-02-27 17:41:10 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-01 16:38:15 -0500 |
| commit | 9aa27273afddd3cbf4c03c70954f24ac8ea1a706 (patch) | |
| tree | a40aa0588cc459e6ca5922cdaeb7bf93e31aa662 | |
| parent | 8442103aa575dc1cd25cb3231e729c6365dc1b5c (diff) | |
| download | haskell-9aa27273afddd3cbf4c03c70954f24ac8ea1a706.tar.gz | |
use --docs=no-sphinx in both Hadrian CI jobs
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 217b297229..3bca1febbf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -61,7 +61,7 @@ ghc-linters: - ./boot - ./configure $CONFIGURE_ARGS - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` - - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` docs-haddock + - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --docs=no-sphinx docs cache: key: hadrian paths: @@ -386,6 +386,7 @@ validate-x86_64-windows-hadrian: mkdir -p _build cp -R inplace/mingw _build/mingw - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick" + - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick --docs=no-sphinx docs # FIXME: Bindist disabled due to #16073 #- bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh binary-dist" # FIXME: Testsuite disabled due to #16156. |