diff options
| -rwxr-xr-x | jenkinsbuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh index 35ad2a5f1..2ba8f4976 100755 --- a/jenkinsbuild.sh +++ b/jenkinsbuild.sh @@ -64,7 +64,7 @@ fi # Build CXX=$CXXCOMP CC=$CCOMP cmake . -DNO_NATIVE_OPTIMIZATION=1 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE} ${FORCE32} -make -j 2 +make -j 4 # Package Server |