From 53c806cc1adf9cc2f949d3bc641494675e0e73ed Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sun, 26 Aug 2018 14:51:29 +0200
Subject: Move test suite report script to standalone script file

This allows for nicer formatting without having to deal with Make's
semantic whitespace.
---
 test-suite/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'test-suite/Makefile')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 080aeff85b..93ce519350 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -196,10 +196,7 @@ PRINT_LOGS:=APPVEYOR
 endif #APPVEYOR
 
 report: summary.log
-	$(HIDE)bash 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 "${PRINT_LOGS}" ]; 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
+	$(HIDE)bash report.sh
 
 #######################################################################
 # Regression (and progression) tests
-- 
cgit v1.2.3