1 # Library of functions shared by all CI scripts
3 skip_branch_tip_with_tag () {
4 # Sometimes, a branch is pushed at the same time the tag that points
5 # at the same commit as the tip of the branch is pushed, and building
6 # both at the same time is a waste.
8 # Travis gives a tagname e.g. v2.14.0 in $TRAVIS_BRANCH when
9 # the build is triggered by a push to a tag. Let's see if
10 # $TRAVIS_BRANCH is exactly at a tag, and if so, if it is
11 # different from $TRAVIS_BRANCH. That way, we can tell if
12 # we are building the tip of a branch that is tagged and
13 # we can skip the build because we won't be skipping a build
16 if TAG=$(git describe --exact-match "$TRAVIS_BRANCH" 2>/dev/null) &&
17 test "$TAG" != "$TRAVIS_BRANCH"
19 echo "Tip of $TRAVIS_BRANCH is exactly at $TAG"
24 # Set 'exit on error' for all CI scripts to let the caller know that
25 # something went wrong
28 skip_branch_tip_with_tag