From dc88eab70ff44e80df732070523e9047030513c9 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Sat, 12 Aug 2017 00:27:25 +0200
Subject: [PATCH] coverity-scan: do nothing if not in $COVERITY_SCAN_BRANCH

---
 coverity-scan.sh | 4 ++++
 1 file changed, 4 insertions(+)

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`