diff options
| author | Ben Straub <bs@github.com> | 2014-01-15 12:32:12 -0800 |
|---|---|---|
| committer | Ben Straub <bs@github.com> | 2014-01-15 12:32:12 -0800 |
| commit | 998f0016ff2788ee78d47ac2be6d6b9cc6890e11 (patch) | |
| tree | 0d0b56cf6b2d9df25353ee97f21059795d6b9282 /script | |
| parent | 53e6f4804b67b757fab065da51901be452b1c765 (diff) | |
| download | libgit2-998f0016ff2788ee78d47ac2be6d6b9cc6890e11.tar.gz | |
Refine build limitation
Diffstat (limited to 'script')
| -rwxr-xr-x | script/coverity.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/script/coverity.sh b/script/coverity.sh index 945a450f1..e72008883 100755 --- a/script/coverity.sh +++ b/script/coverity.sh @@ -4,8 +4,13 @@ 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 +# Only run this on our branches +echo "Pull request: $TRAVIS_PULL_REQUEST | Slug: $TRAVIS_REPO_SLUG" +if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_REPO_SLUG" != "libgit2/libgit2" ]; +then + echo "Only analyzing 'development' on the main repo." + exit 0 +fi COV_VERSION=6.6.1 case `uname -m` in |