From 2c2cabe48bb9cf4a42ba7ef9e61f8dd950c81ee1 Mon Sep 17 00:00:00 2001
From: WolverinDEV <git@mcgalaxy.de>
Date: Sat, 6 Jul 2019 18:18:48 +0200
Subject: [PATCH] Updating Jekinsfile

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 30265fc..9e937e8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,10 +16,10 @@ pipeline {
 
 		//CMake specific flags
 		CMAKE_OPTIONS = ''
-		CMAKE_MAKE_OPTIONS = '-j 12'
+		CMAKE_MAKE_OPTIONS = '-j12'
 
 		//Make specific flags
-		MAKE_OPTIONS = '-j 12'
+		MAKE_OPTIONS = '-j12'
 
 		force_rebuild="${params.force_rebuild}"