diff options
Diffstat (limited to '')
| -rwxr-xr-x | jenkinsbuild.sh | 7 |
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} |