diff options
| author | Matt Rendina <rendinam@users.noreply.github.com> | 2017-09-22 11:28:47 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-22 11:28:47 -0400 |
| commit | 5625f45f06fd424794b388718a5c47ab47e5b121 (patch) | |
| tree | 7d757a310f4d840aef7505e241c8d285ffc23d38 /jenkins/generator_DSL.groovy | |
| parent | b42617a75628294b715e3fd9f25acdbf29f367c9 (diff) | |
| parent | c4a560e340bee45d60ef499ad963bdd8fbb7cc5d (diff) | |
| download | build_control-5625f45f06fd424794b388718a5c47ab47e5b121.tar.gz | |
Merge pull request #37 from rendinam/activate_pins_by_config
Use pin environment only if pin packages are specified.
Diffstat (limited to 'jenkins/generator_DSL.groovy')
| -rw-r--r-- | jenkins/generator_DSL.groovy | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/jenkins/generator_DSL.groovy b/jenkins/generator_DSL.groovy index 6474e9c..82503c9 100644 --- a/jenkins/generator_DSL.groovy +++ b/jenkins/generator_DSL.groovy @@ -127,12 +127,15 @@ for (label in labels.trim().tokenize()) { stringParam("manifest_file", "manifest_file-DEFAULTVALUE", "Manifest (release) file to use for the build.") - stringParam("cull_manifest", - "cull_manifest-DEFAULTVALUE", + booleanParam("cull_manifest", + false, "Was the manifest culled as part of dispatch?") stringParam("channel_URL", "channel_URL-DEFAULTVALUE", "Publication channel used for culled builds.") + booleanParam("use_version_pins", + false, + "Whether or not to use global version pins.") } definition { cps { |