coverity-scan.sh: inherity $JEHANNE if defined

This commit is contained in:
Giacomo Tesio 2015-12-23 01:00:36 +01:00
parent f62c23db18
commit 0d8e5b4df9
1 changed files with 4 additions and 2 deletions

View File

@ -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