From 2f307d2e164891e320d535d3269d7726883f42d5 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Sat, 11 Aug 2018 11:42:09 +0200 Subject: [PATCH] Edited jenkins file --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 = ''