Commit 53e6f4804b67b757fab065da51901be452b1c765

Ben Straub 2014-01-15T12:12:17

Only run coverity on development

1
2
3
4
5
6
7
8
9
10
11
12
13
14
diff --git a/script/coverity.sh b/script/coverity.sh
index e753959..945a450 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 ;;