summaryrefslogtreecommitdiffstats
path: root/jenkinsbuild.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xjenkinsbuild.sh7
1 files changed, 5 insertions, 2 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh
index 5e6f4818d..07531deb7 100755
--- a/jenkinsbuild.sh
+++ b/jenkinsbuild.sh
@@ -56,8 +56,11 @@ export CUBERITE_BUILD_SERIES_NAME="$SERVERNAME $TARGET $COMPILEMODE ($BRANCH)"
export CUBERITE_BUILD_ID="$BUILDID"
export CUBERITE_BUILD_DATETIME="`date`"
-export CCACHE_CPP2=true
-CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache"
+if ! [ -x "$(command -v ccache)" ]
+then
+ export CCACHE_CPP2=true
+ CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache"
+fi
# Build
CXX=$CXXCOMP CC=$CCOMP cmake . -DNO_NATIVE_OPTIMIZATION=1 -DBUILD_TOOLS=1 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE} ${FORCE32}