From 26aec0ca4c56c92c10beb111367f7cb72cc38d20 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 17 Aug 2017 08:41:49 +0200
Subject: travis-ci: investigate gnat-gpl install issue

---
 dist/linux/travis-ci.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dist/linux')

diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh
index 89fa4585e..14bae636a 100755
--- a/dist/linux/travis-ci.sh
+++ b/dist/linux/travis-ci.sh
@@ -18,7 +18,7 @@ fi
 # OS-X
 
 if [ "$TRAVIS_OS_NAME" = "osx" ]; then
-    ./dist/macosx/install-ada.sh
+    ./dist/macosx/install-ada.sh || exit 1
     PATH=$PWD/gnat/bin:$PATH
     DBLD=mcode
     DDIST=macosx
@@ -81,10 +81,10 @@ EXITCODE=0;
 t=0; for b in $blds; do
   workdir="../wrk-$t"
   # Display log (with travis log folding commands)
-  echo -en "travis_fold:start:log.$t\r"
+  echo -e "travis_fold:start:log.$t\r\033[K"
   printf "$ANSI_YELLOW[TRAVIS] Print BUILD $t log $ANSI_NOCOLOR\n"
   cat $workdir/log.log
-  echo -en "travis_fold:end:log.$t\r"
+  echo -e "travis_fold:end:log.$t\r\033[K"
 
   # Read the last line of the log
   RESULT="$(tail -1 $workdir/log.log)"
-- 
cgit v1.2.3