From d1e19ab6bd1bf0e0c5edde66ad260373b59ab424 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Thu, 1 Nov 2018 17:11:47 +0100 Subject: [PATCH] Updated Jekinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index e741fc1..836fbca 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,7 @@ pipeline { agent any parameters { - booleanParam(defaultValue: true, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized') + booleanParam(defaultValue: false, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized') booleanParam(defaultValue: true, description: 'Build the libraries as well', name: 'build_libraries') booleanParam(defaultValue: true, description: 'Deploy this build', name: 'deploy_build') }