diff options
| author | Alexander Harkness <me@bearbin.net> | 2020-04-01 21:48:45 +0200 |
|---|---|---|
| committer | Alexander Harkness <me@bearbin.net> | 2020-04-01 21:48:45 +0200 |
| commit | 25d5e1bfe1692f26483ea74e51bd466074bad0aa (patch) | |
| tree | f3ba0ba3df315f7659b3a750f6bf1564e0b47b8b /jenkinsbuild.sh | |
| parent | Don't build using ccache when it doesn't exist (diff) | |
| download | cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.tar cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.tar.gz cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.tar.bz2 cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.tar.lz cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.tar.xz cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.tar.zst cuberite-25d5e1bfe1692f26483ea74e51bd466074bad0aa.zip | |
Diffstat (limited to '')
| -rwxr-xr-x | jenkinsbuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh index 07531deb7..ab30c74be 100755 --- a/jenkinsbuild.sh +++ b/jenkinsbuild.sh @@ -56,7 +56,7 @@ export CUBERITE_BUILD_SERIES_NAME="$SERVERNAME $TARGET $COMPILEMODE ($BRANCH)" export CUBERITE_BUILD_ID="$BUILDID" export CUBERITE_BUILD_DATETIME="`date`" -if ! [ -x "$(command -v ccache)" ] +if [ -x "$(command -v ccache)" ] then export CCACHE_CPP2=true CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache" |