coverity-scan: do nothing if not in $COVERITY_SCAN_BRANCH

JehanneOS · Aug 11, 2017 · dc88eab · dc88eab
1 parent 351dbed
commit dc88eab
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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`