diff options
| author | Matt Rendina <mrendina@stsci.edu> | 2017-06-07 08:32:58 -0400 |
|---|---|---|
| committer | Matt Rendina <mrendina@stsci.edu> | 2017-06-07 08:32:58 -0400 |
| commit | d83a8b50f892f99799f215a3736db9cf55bfe825 (patch) | |
| tree | 5747c6a0d60671ff164a520eb58e25642903ede6 /jenkins/package_builder.groovy | |
| parent | fc46dd885d9f7307de593fdef8dd672808f5f477 (diff) | |
| download | build_control-d83a8b50f892f99799f215a3736db9cf55bfe825.tar.gz | |
Add missing --channel flag
Diffstat (limited to 'jenkins/package_builder.groovy')
| -rw-r--r-- | jenkins/package_builder.groovy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/package_builder.groovy b/jenkins/package_builder.groovy index 55784a3..37812ec 100644 --- a/jenkins/package_builder.groovy +++ b/jenkins/package_builder.groovy @@ -41,7 +41,7 @@ node(this.label) { // simply download dependency packages from the publication // channel as needed, rather than build them as part of the // package build session that requires them. - def channel_option = "${this.channel_URL}" + def channel_option = "--channel ${this.channel_URL}" if (this.cull_manifest == "false") { channel_option = "" } |