diff options
Diffstat (limited to 'jenkins/generator_DSL.groovy')
| -rw-r--r-- | jenkins/generator_DSL.groovy | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/jenkins/generator_DSL.groovy b/jenkins/generator_DSL.groovy index 3278d2c..b3f32b5 100644 --- a/jenkins/generator_DSL.groovy +++ b/jenkins/generator_DSL.groovy @@ -216,6 +216,12 @@ pipelineJob("trigger_${manifest_basename}") { "", "List of supplemental environment variables to define in " + "the build envioronment.") + textParam("non_python_pkg_platform", + "py3.6", + "Only platforms with this python version in their name will " + + "be used to host the building of non-python packages. This " + + "prevents non-python packages from being built multiple " + + "times unnecessarily.") textParam("mail_recipients", this.mail_recipients, "Whom to pester.") |