diff --git a/Jenkinsfile b/Jenkinsfile index bb57134..c485391 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,7 +3,7 @@ pipeline { parameters { booleanParam(defaultValue: true, description: 'Deploy this build', name: 'deploy_build') - choice(choices: ['none', ''win32', 'linux'], description: 'Which os do you want to build?', name: 'os_type') + choice(choices: ['none', 'win32', 'linux'], description: 'Which os do you want to build?', name: 'os_type') choice(choices: ['amd64'], description: 'Which target do you want to build?', name: 'os_arch') choice(choices: ['release'], description: 'Target build channel', name: 'channel') text(name: 'force_rebuild', defaultValue: '', description: 'Force rebuild libraries (Separate with a ";" | * = everything)')