Skip to content

G
git2
Commit 53e6f480 by Ben Straub
Options

Only run coverity on development

parent 4caf0df0
Showing with 3 additions and 0 deletions
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 ;;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment