From 4bfa73e009e00c06c554a8935f2cb06e38614813 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <26892-adegomme@users.noreply.framagit.org>
Date: Sat, 30 Jul 2022 14:29:05 +0000
Subject: [PATCH] use ccache for main ci build. It should be available on every
 builder, so skip detection phase. Will be added if/when needed

---
 tools/jenkins/build.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 6ad94b0fa7..36c17be64b 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -22,12 +22,6 @@ echo "XXXX Let's go"
 
 set -e
 
-# Help older cmakes
-if [ -e /usr/lib/jvm/java-7-openjdk-amd64 ] ;
-then
-  export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
-fi
-
 # usage: die status message...
 die () {
   status=${1:-1}
@@ -231,6 +225,7 @@ cmake -G"$GENERATOR" ${INSTALL:+-DCMAKE_INSTALL_PREFIX=$INSTALL} \
   -Denable_java=$(onoff test "$build_mode" = "ModelChecker") \
   -Denable_msg=$(onoff test "$build_mode" = "ModelChecker") \
   -DLTO_EXTRA_FLAG="auto" \
+  -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
   "$SRCFOLDER"
 set +x
 
-- 
2.20.1