From 5de38a368d6dd45d3c5e8ecd8d706f3a97efce7b Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Sat, 6 Jul 2019 17:07:43 +0200 Subject: [PATCH] Updated jekinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)')