diff --git a/Jenkinsfile b/Jenkinsfile index cebded8..64fc439 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,7 +16,7 @@ pipeline { //CMake specific flags CMAKE_OPTIONS = '' - CMAKE_MAKE_OPTIONS = '' + CMAKE_MAKE_OPTIONS = '-j 12' //Make specific flags MAKE_OPTIONS = '' @@ -58,7 +58,7 @@ pipeline { //CMake specific flags CMAKE_OPTIONS = '' - CMAKE_MAKE_OPTIONS = '' + CMAKE_MAKE_OPTIONS = '-j 12' //Make specific flags MAKE_OPTIONS = ''