diff --git a/Jenkinsfile b/Jenkinsfile index 528af4a..69f3607 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent any + agent any parameters { booleanParam(defaultValue: false, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized')