From 95d977bf0b1825b7d822abbdd062cdb8c38051cb Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 22 Jan 2019 23:29:28 +0100
Subject: Remove travis

The azure OSX job replaces the first travis job, and the second always
fails and so is useless.
---
 test-suite/report.sh | 16 +++-------------
 1 file changed, 3 insertions(+), 13 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/report.sh b/test-suite/report.sh
index cef615266b..71aac029ea 100755
--- a/test-suite/report.sh
+++ b/test-suite/report.sh
@@ -24,21 +24,11 @@ cp summary.log "$SAVEDIR"/
 rm "$FAILED"
 
 # print info
-if [ -n "$TRAVIS" ] || [ -n "$APPVEYOR" ] || [ -n "$PRINT_LOGS" ]; then
+if [ -n "$APPVEYOR" ] || [ -n "$PRINT_LOGS" ]; then
     find logs/ -name '*.log' -not -name 'summary.log' -print0 | while IFS= read -r -d '' file; do
-        if [ -n "$TRAVIS" ]; then
-            # ${foo////.} replaces every / by . in $foo
-            printf 'travis_fold:start:coq.logs.%s\n' "${file////.}";
-        else printf '%s\n' "$file"
-        fi
-
+        printf '%s\n' "$file"
         cat "$file"
-
-        if [ -n "$TRAVIS" ]; then
-            # ${foo////.} replaces every / by . in $foo
-            printf 'travis_fold:end:coq.logs.%s\n' "${file////.}";
-        else printf '\n'
-        fi
+        printf '\n'
     done
     printed_logs=1
 fi
-- 
cgit v1.2.3