From 4bc93d2d006bf4c185cb7ca21b57dfc3de482676 Mon Sep 17 00:00:00 2001
From: WolverinDEV <git@mcgalaxy.de>
Date: Thu, 1 Nov 2018 16:22:28 +0100
Subject: [PATCH] Updated Jenkinsfile

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9c9f1db..b8f39c6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,7 @@ pipeline {
 
     parameters {
        booleanParam(defaultValue: true, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized')
+       booleanParam(defaultValue: true, description: 'Build the libraries as well', name: 'build_libraries')
     }
 	
 	stages {
@@ -75,6 +76,10 @@ pipeline {
 
 					stages {
 						stage ('Initialize libraries') {
+							when {
+								expression { params.build_libraries }
+							}
+							
 							steps {
 								sh 'apt-get update'
 								sh 'git reset --hard origin/master; git submodule update --init --remote --recursive --force'