diff options
Diffstat (limited to 'jenkinsbuild.sh')
| -rwxr-xr-x | jenkinsbuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh index 9be52557d..5e6f4818d 100755 --- a/jenkinsbuild.sh +++ b/jenkinsbuild.sh @@ -60,7 +60,7 @@ export CCACHE_CPP2=true CACHE_ARGS="-DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache" # Build -CXX=$CXXCOMP CC=$CCOMP cmake . -DNO_NATIVE_OPTIMIZATION=1 -DBUILD_TOOLS=1 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE^^} ${FORCE32^^} +CXX=$CXXCOMP CC=$CCOMP cmake . -DNO_NATIVE_OPTIMIZATION=1 -DBUILD_TOOLS=1 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE} ${FORCE32} make -j 2 |