]> git.proxmox.com Git - libgit2.git/commitdiff
Only run coverity on development
authorBen Straub <bs@github.com>
Wed, 15 Jan 2014 20:12:17 +0000 (12:12 -0800)
committerBen Straub <bs@github.com>
Wed, 15 Jan 2014 20:12:17 +0000 (12:12 -0800)
script/coverity.sh

index e75395948583a81f8ca96a3a8cc24ac1ffb771d2..945a450f1b7bc590f77c5a75b9006984de341863 100755 (executable)
@@ -4,6 +4,9 @@ set -e
 # Environment check
 [ -z "$COVERITY_TOKEN" ] && echo "Need to set a coverity token" && exit 1
 
+# Only run this on development
+[ "$TRAVIS_BRANCH" != "development" ] && echo "Not development; bailing." && exit 0
+
 COV_VERSION=6.6.1
 case `uname -m` in
        i?86)                           BITS=32 ;;