diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-08-29 14:15:06 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-29 17:25:23 +0200 |
| commit | e581d018bfeaec2ffdf8697950eede5ce4282716 (patch) | |
| tree | 6e3e43d5f8909ab2b7085cbacdf32a1b64a94007 /appveyor.yml | |
| parent | 799d17738ebbae30a007b308998a669a9139cf1d (diff) | |
Avoid running interactive tests on Windows.
This is a temporary workaround, until we fix the underlying issue which
makes coqtop hang on those tests.
Diffstat (limited to 'appveyor.yml')
| -rw-r--r-- | appveyor.yml | 3 |
1 files changed, 2 insertions, 1 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"' |