diff options
Diffstat (limited to 'dist/linux')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 7c36f6546..7fe6b6276 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -1,6 +1,11 @@ #! /bin/bash # This script is executed in the travis-ci environment. +if [ "$TRAVIS_OS_NAME" = "osx" ]; then + echo "OS X build not yet supported" + exit +fi + # List of docker images images=("ghdl/ghdl-tools:ubuntu-mcode" @@ -69,9 +74,11 @@ wait EXITCODE=0; t=0; for b in $blds; do workdir="../wrk-$t" - # Display log + # Display log (with travis log folding commands) 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" # Read the last line of the log RESULT="$(tail -1 $workdir/log.log)" |