diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-09-01 10:00:07 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-09-04 17:36:10 +0200 |
commit | c2c1f7e74d13bf614a8704de1437d4c789b2c2c9 (patch) | |
tree | 8a4bbb47c163f5ae4ec9892ac2a904cc8c23a52f /appveyor.yml | |
parent | d752838ae24dd431f9f2f8de09b5635139ecf3b5 (diff) |
fix test-suite/coq-makefile/findlib-package on windows
Diffstat (limited to 'appveyor.yml')
-rw-r--r-- | appveyor.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/appveyor.yml b/appveyor.yml index 3b08584ff..ea31075a6 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -22,5 +22,4 @@ 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 all - INTERACTIVE= && make validate"' +- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && make byte && make -C test-suite all INTERACTIVE= && make validate"' |