diff --git a/Jenkinsfile b/Jenkinsfile index 66a65d0..34a24ec 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,10 +11,10 @@ pipeline { environment { //CMake specific flags CMAKE_OPTIONS = '' - CMAKE_MAKE_OPTIONS = '-j 12' + CMAKE_MAKE_OPTIONS = '-j12' //Make specific flags - MAKE_OPTIONS = '-j 12' + MAKE_OPTIONS = '-j12' JENKINS_BUILD_TARGET="${params.target}" }