diff --git a/coverity-scan.sh b/coverity-scan.sh index c9b6eb1..00b1f88 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -6,6 +6,10 @@ set -e +if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then + exit 0 +fi + cd `dirname $0` cd .. export JEHANNE=`pwd`