From 53e6f4804b67b757fab065da51901be452b1c765 Mon Sep 17 00:00:00 2001
From: Ben Straub <bs@github.com>
Date: Wed, 15 Jan 2014 12:12:17 -0800
Subject: [PATCH] Only run coverity on development

---
 script/coverity.sh | 3 +++
 1 file changed, 3 insertions(+)

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 ;;