gitlab-ci: Disable Hadrian linting on Windows
authorBen Gamari <ben@smart-cactus.org>
Sun, 16 Dec 2018 16:26:46 +0000 (11:26 -0500)
committerBen Gamari <ben@smart-cactus.org>
Mon, 17 Dec 2018 17:44:49 +0000 (12:44 -0500)
The lint checks currently fail due to #15950.

.gitlab-ci.yml

index bcbcc30..a48c195 100644 (file)
@@ -248,7 +248,8 @@ validate-x86_64-windows:
       bash -c './configure --with-ghc=`pwd`/toolchain/bin/ghc --enable-tarballs-autodownload HappyCmd=`pwd`/toolchain/bin/happy AlexCmd=`pwd`/toolchain/bin/alex'
       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"
+    # FIXME: --no-lint due to #15950
+    - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick --no-lint"
     - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh binary-dist"
     - mv ghc-*.tar.xz ghc.tar.xz
     - bash -c 'make V=0 -j`mk/detect-cpu-count.sh` HADDOCK_DOCS=NO test THREADS=$THREADS JUNIT_FILE=../../junit.xml'