3 if [ -z "$TRAVIS_BRANCH" ] ; then
4 # no branch? run anyway
9 if [ "$TRAVIS_BRANCH" = 'coverity_scan' ]; then
14 if [ "$TRAVIS_BRANCH" = 'devel' -o "$TRAVIS_BRANCH" = 'master' ]; then
19 if [ "$TRAVIS_BRANCH" = 'release-test' ]; then
23 # branch not recognized