diff --git a/Jenkinsfile b/Jenkinsfile index d113464..8df910a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,10 +9,10 @@ pipeline { environment { //CMake specific flags CMAKE_OPTIONS = '' - CMAKE_MAKE_OPTIONS = '-j12' + CMAKE_MAKE_OPTIONS = '-j32' //Make specific flags - MAKE_OPTIONS = '-j12' + MAKE_OPTIONS = '-j32' JENKINS_BUILD_TARGET="${params.target}" }