travis-ci: print the "tip of branch is exactly at tag" message in color

diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh
index 348fe3c3c1d304f9887c24e023a90123ad43d0c8..9d379db8a01a25b9fb66db2e4b87c9de3b703408 100755 (executable)
--- a/ci/lib-travisci.sh
+++ b/ci/lib-travisci.sh
@@ -16,7 +16,7 @@ skip_branch_tip_with_tag () {
        if TAG=$(git describe --exact-match "$TRAVIS_BRANCH" 2>/dev/null) &&
                test "$TAG" != "$TRAVIS_BRANCH"
        then
-               echo "Tip of $TRAVIS_BRANCH is exactly at $TAG"
+               echo "$(tput setaf 2)Tip of $TRAVIS_BRANCH is exactly at $TAG$(tput sgr0)"
                exit 0
        fi
 }