From d70b9e9b901a836f80180200cfd591e05839ee28 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 27 Jun 2017 16:03:58 +0200
Subject: Print failure logs on appveyor.

---
 test-suite/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 52127a45d7..3db3452416 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -170,6 +170,7 @@ summary.log:
 report: summary.log
 	$(HIDE)./save-logs.sh
 	$(HIDE)if [ -n "${TRAVIS}" ]; then find logs/ -name '*.log' -not -name 'summary.log' -exec 'bash' '-c' 'echo "travis_fold:start:coq.logs.$$(echo '{}' | sed s,/,.,g)"' ';' -exec cat '{}' ';' -exec 'bash' '-c' 'echo "travis_fold:end:coq.logs.$$(echo '{}' | sed s,/,.,g)"' ';'; fi
+	$(HIDE)if [ -n "${APPVEYOR}" ]; then find logs/ -name '*.log' -not -name 'summary.log' -exec 'bash' '-c' 'echo {}' ';' -exec cat '{}' ';' -exec 'bash' '-c' 'echo' ';'; fi
 	$(HIDE)if grep -q -F 'Error!' summary.log ; then echo FAILURES; grep -F 'Error!' summary.log; false; else echo NO FAILURES; fi
 
 #######################################################################
-- 
cgit v1.2.3