From c2c1f7e74d13bf614a8704de1437d4c789b2c2c9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 1 Sep 2017 10:00:07 +0200 Subject: fix test-suite/coq-makefile/findlib-package on windows --- appveyor.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'appveyor.yml') 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"' -- cgit v1.2.3