Update 'Jenkinsfile'

add build_options input parameter
master
ROBERTO CIRILLO 1 year ago
parent 3f243cad87
commit d4f3cc324f

5
Jenkinsfile vendored

@ -38,7 +38,10 @@ pipeline {
description: 'The location of the local repository')
string(name: 'exec_label',
defaultValue: 'CI',
description: 'Run on all nodes matching the label')
description: 'Run on all nodes matching the label')
string(name: 'build_options',
defaultValue: '',
description: 'Additional options for Maven.')
}
agent
{

Loading…
Cancel
Save