diff --git a/Jenkinsfile b/Jenkinsfile index 6b56f812d..13ea1993e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,4 @@ -print( properties ([ +properties ([ parameters([ string(name: 'BRANCH', defaultValue: 'master', description: 'Branch to build'), choice(name: 'RUN_TEST', choices: ['yes', 'no'], description: 'Run test while build'),