Updated jetkinsfile

2020-01-25 16:19:35 +01:00
parent 204db52258
commit b9a3229e2e
1 changed files with 2 additions and 2 deletions
@@ -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}"
 	}