coverity-scan.sh: inherity $JEHANNE if defined

JehanneOS · Dec 23, 2015 · 0d8e5b4 · 0d8e5b4
1 parent f62c23d
commit 0d8e5b4
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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