diff --git a/continuous-build.sh b/continuous-build.sh index 4a19f82..e1a0dbf 100755 --- a/continuous-build.sh +++ b/continuous-build.sh @@ -10,7 +10,6 @@ if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then export SH=`which rc` export ARCH=amd64 git clean -xdf . - (cd $JEHANNE/hacking; git clean -xdf .) if [ ! -f "$JEHANNE/hacking/bin/ufs" ]; then echo "Cannot find build tools in $JEHANNE/hacking/bin" $JEHANNE/hacking/buildtools.sh @@ -20,6 +19,9 @@ if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then (cd $JEHANNE/hacking/cross/; ./init.sh) fi + export TOOLPREFIX=x86_64-jehanne- + export CC=gcc + echo echo "Vendorized code verification..." echo