diff options
Diffstat (limited to 'jenkins/package_builder.groovy')
| -rw-r--r-- | jenkins/package_builder.groovy | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/package_builder.groovy b/jenkins/package_builder.groovy index 436b4b2..696e121 100644 --- a/jenkins/package_builder.groovy +++ b/jenkins/package_builder.groovy @@ -25,6 +25,7 @@ node(this.label) { "env.JENKINS_HOME: ${env.JENKINS_HOME}\n" + "parameter build_control_repo: ${this.build_control_repo}\n" + "parameter build_control_branch: ${this.build_control_branch}\n" + + "parameter build_control_tag: ${this.build_control_tag}\n" + "parameter parent_workspace: ${this.parent_workspace}\n" + "parameter py_version: ${this.py_version}\n" + "parameter numpy_version: ${this.numpy_version}\n" + |