diff options
Diffstat (limited to 'jenkins')
| -rw-r--r-- | jenkins/generator_DSL.groovy | 4 | ||||
| -rw-r--r-- | jenkins/multi_trigger.groovy | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/jenkins/generator_DSL.groovy b/jenkins/generator_DSL.groovy index 9ddc69a..3278d2c 100644 --- a/jenkins/generator_DSL.groovy +++ b/jenkins/generator_DSL.groovy @@ -212,6 +212,10 @@ pipelineJob("trigger_${manifest_basename}") { "Whether or not package recipes that would generate a " + "package file name that already exists in the manfest's" + " channel archive are removed from the build list.") + textParam("supp_env_vars", + "", + "List of supplemental environment variables to define in " + + "the build envioronment.") textParam("mail_recipients", this.mail_recipients, "Whom to pester.") diff --git a/jenkins/multi_trigger.groovy b/jenkins/multi_trigger.groovy index 1494d40..03e928e 100644 --- a/jenkins/multi_trigger.groovy +++ b/jenkins/multi_trigger.groovy @@ -57,6 +57,9 @@ node('master') { ), booleanParam(name: 'filter_nonpython', value: filter_nonpython + ), + textParam(name: 'supp_env_vars', + value: supp_env_vars ) ], propagate: false) |