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