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