diff --git a/Jenkinsfile b/Jenkinsfile index 30265fc..9e937e8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,10 +16,10 @@ pipeline { //CMake specific flags CMAKE_OPTIONS = '' - CMAKE_MAKE_OPTIONS = '-j 12' + CMAKE_MAKE_OPTIONS = '-j12' //Make specific flags - MAKE_OPTIONS = '-j 12' + MAKE_OPTIONS = '-j12' force_rebuild="${params.force_rebuild}"