From 0d8e5b4df98c7d41f2961b26a3d0fd8c9b7dfe14 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Wed, 23 Dec 2015 01:00:36 +0100
Subject: [PATCH] coverity-scan.sh: inherity $JEHANNE if defined

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

diff --git a/coverity-scan.sh b/coverity-scan.sh
index 613ab2e..6bd8090 100755
--- a/coverity-scan.sh
+++ b/coverity-scan.sh
@@ -2,8 +2,10 @@
 set -e
 
 if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then
-	export JEHANNE=`git rev-parse --show-toplevel|sed 's/\/hacking//g'`
-	export PATH="$JEHANNE/hacking:$PATH"
+	if [ -z "$JEHANNE" ]; then
+		export JEHANNE=`git rev-parse --show-toplevel|sed 's/\/hacking//g'`
+		export PATH="$JEHANNE/hacking/bin:$PATH"
+	fi
 	export SH=`which rc`
 	export ARCH=amd64
 	git clean -x -d -f