Updated Jenkinsfile

2020-01-25 16:29:43 +01:00
parent aaa5c4f843
commit fd13ffaf27
1 changed files with 2 additions and 2 deletions
@@ -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}"
 	}