From f235e22c17cc1e1de08a5135522fdd246db9946b Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Sat, 26 Nov 2016 11:58:22 +0100
Subject: [PATCH] continuous-build.sh: get advantage of travis caches

---
 continuous-build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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