diff options
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 56ce83802..098bd68b9 100755 --- a/jenkinsbuild.sh +++ b/jenkinsbuild.sh @@ -63,7 +63,7 @@ then fi # 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 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE} ${FORCE32} make -j 2 |