From a8381e022cf2a967c7c213ec60c5c5252c799332 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 9 Jun 2017 17:33:01 -0400 Subject: Better sectioning on travis log printing in test-suite --- test-suite/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'test-suite') diff --git a/test-suite/Makefile b/test-suite/Makefile index e15094ccf..81a99cad4 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -169,9 +169,7 @@ summary.log: # local build, and downloadable on GitLab) report: summary.log $(HIDE)./save-logs.sh - $(HIDE)if [ -n "${TRAVIS}" ]; then echo 'travis_fold:start:coq.logs'; fi - $(HIDE)if [ -n "${TRAVIS}" ]; then find logs/ -name '*.log' -not -name 'summary.log' -exec cat '{}' ';'; fi - $(HIDE)if [ -n "${TRAVIS}" ]; then echo 'travis_fold:end:coq.logs'; fi + $(HIDE)if [ -n "${TRAVIS}" ]; then find logs/ -name '*.log' -not -name 'summary.log' -exec echo 'travis_fold:start:coq.logs.{}' ';' -exec cat '{}' ';' -exec echo 'travis_fold:end:coq.logs.{}' ';'; 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 From 5b6aaca42550715300fbd376c2fc0934da554939 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 10 Jun 2017 02:56:37 -0400 Subject: Fix Travis sectioning It drops anything after a `/`, so we change all `/`s into `.`. There must be a better way to do this that doesn't involve so much bash hackery, right? --- test-suite/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test-suite') diff --git a/test-suite/Makefile b/test-suite/Makefile index 81a99cad4..5ab4cacda 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -169,7 +169,7 @@ summary.log: # local build, and downloadable on GitLab) report: summary.log $(HIDE)./save-logs.sh - $(HIDE)if [ -n "${TRAVIS}" ]; then find logs/ -name '*.log' -not -name 'summary.log' -exec echo 'travis_fold:start:coq.logs.{}' ';' -exec cat '{}' ';' -exec echo 'travis_fold:end:coq.logs.{}' ';'; fi + $(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 grep -q -F 'Error!' summary.log ; then echo FAILURES; grep -F 'Error!' summary.log; false; else echo NO FAILURES; fi ####################################################################### -- cgit v1.2.3