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') }