diff options
author | Ben Straub <bs@github.com> | 2014-01-15 12:12:17 -0800 |
---|---|---|
committer | Ben Straub <bs@github.com> | 2014-01-15 12:12:17 -0800 |
commit | 53e6f4804b67b757fab065da51901be452b1c765 (patch) | |
tree | 823de37b7cf1ac6e306b5ef7f2a342a18bfec70a /script | |
parent | 4caf0df018a918b38446895ea870e8db65e8dcae (diff) | |
download | libgit2-53e6f4804b67b757fab065da51901be452b1c765.tar.gz |
Only run coverity on development
Diffstat (limited to 'script')
-rwxr-xr-x | script/coverity.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/coverity.sh b/script/coverity.sh index e75395948..945a450f1 100755 --- a/script/coverity.sh +++ b/script/coverity.sh @@ -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 ;; |