diff options
Diffstat (limited to 'dist/linux')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 55f30d270..89fa4585e 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -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" printf "$ANSI_YELLOW[TRAVIS] Print BUILD $t log $ANSI_NOCOLOR\n" - echo "travis_fold:start:log.$t" cat $workdir/log.log - echo "travis_fold:end:log.$t" + echo -en "travis_fold:end:log.$t\r" # Read the last line of the log RESULT="$(tail -1 $workdir/log.log)" |