From 58465e62546eab362b452b91d2c9ddea61f3fd3a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 9 Feb 2020 11:22:49 +0100
Subject: [PATCH] AppVeyor: Do not build gui for now because of missing z3
 library

---
 appveyor.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/appveyor.yml b/appveyor.yml
index dec60b1ed..0a0a8ea1f 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -71,12 +71,12 @@ build_script:
   - copy bin\cppcheck.exe ..
   - cd ..
   # build gui..
-  - ECHO MYQTDIR=%MYQTDIR%
-  - 'IF defined MYQTDIR cd gui'
-  - 'IF defined MYQTDIR set QTDIR=%MYQTDIR%'
-  - 'IF defined MYQTDIR %QTDIR%\bin\qmake'
-  - 'IF defined MYQTDIR nmake'
-  - 'IF defined MYQTDIR cd ..'
+  #- ECHO MYQTDIR=%MYQTDIR%
+  #- 'IF defined MYQTDIR cd gui'
+  #- 'IF defined MYQTDIR set QTDIR=%MYQTDIR%'
+  #- 'IF defined MYQTDIR %QTDIR%\bin\qmake'
+  #- 'IF defined MYQTDIR nmake'
+  #- 'IF defined MYQTDIR cd ..'
 
 test_script:
   - build\bin\testrunner.exe -q