gitlab-ci: Try only building Windows in the quick flavour
authorBen Gamari <ben@smart-cactus.org>
Tue, 25 Dec 2018 10:12:40 +0000 (05:12 -0500)
committerBen Gamari <ben@smart-cactus.org>
Wed, 26 Dec 2018 02:58:18 +0000 (21:58 -0500)
It seems no matter how many machines I throw at Windows it's constantly behind.
Perhaps the quick build flavour will be fast enough to allow us to keep until
while we sort out our toolchain issues (#16084).

.gitlab-ci.yml

index 6d8276f..87a5333 100644 (file)
@@ -362,6 +362,7 @@ validate-x86_64-windows:
       set MSYSTEM=MINGW64
       python boot
       bash -c './configure --with-ghc=`pwd`/toolchain/bin/ghc --enable-tarballs-autodownload HappyCmd=`pwd`/toolchain/bin/happy AlexCmd=`pwd`/toolchain/bin/alex'
+    - bash -c "echo include mk/flavours/quick.mk > mk/build.mk"
     - bash -c "PATH=`pwd`/toolchain/bin:$PATH make -j`mk/detect-cpu-count.sh`"
     - bash -c 'make V=0 test THREADS=`mk/detect-cpu-count.sh` JUNIT_FILE=../../junit.xml'
   cache: