From fd13ffaf2780b939041865cd6e352f6bcf6dffcd Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Sat, 25 Jan 2020 16:29:43 +0100 Subject: [PATCH] Updated Jenkinsfile --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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}" }