From e581d018bfeaec2ffdf8697950eede5ce4282716 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 29 Aug 2017 14:15:06 +0200
Subject: Avoid running interactive tests on Windows.

This is a temporary workaround, until we fix the underlying issue which
makes coqtop hang on those tests.
---
 appveyor.yml        | 3 ++-
 test-suite/Makefile | 4 +++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/appveyor.yml b/appveyor.yml
index ec6ded721..fb5a44584 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -23,4 +23,5 @@ build_script:
 - cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./configure -local && make"'
 
 test_script:
-- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && make -C test-suite && make validate"'
+- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && make -C test-suite all
+  INTERACTIVE= && make validate"'
diff --git a/test-suite/Makefile b/test-suite/Makefile
index 78d90aad8..ae426f0da 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -85,8 +85,10 @@ COMPLEXITY := $(if $(bogomips),complexity)
 
 BUGS := bugs/opened bugs/closed
 
+INTERACTIVE := interactive
+
 VSUBSYSTEMS := prerequisite success failure $(BUGS) output \
-  output-modulo-time interactive micromega $(COMPLEXITY) modules stm \
+  output-modulo-time $(INTERACTIVE) micromega $(COMPLEXITY) modules stm \
   coqdoc
 
 # All subsystems
-- 
cgit v1.2.3