diff options
| author | Matt Rendina <rendinam@users.noreply.github.com> | 2017-06-13 10:01:29 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-13 10:01:29 -0400 |
| commit | 38f9db0d11fb512449196b3cb52b40ee060541a9 (patch) | |
| tree | 17b06cf139d478157b0908f62231b9bf6d4a46b7 /jenkins/dispatch.groovy | |
| parent | eb16bc4d7aeb00e77e8c1f130243bac1fb9b55fa (diff) | |
| parent | efac703de5f64218c992746218149affadc92726 (diff) | |
| download | build_control-38f9db0d11fb512449196b3cb52b40ee060541a9.tar.gz | |
Merge pull request #16 from rendinam/prop_repo
Propagate repo and branch names to all job logs
Diffstat (limited to 'jenkins/dispatch.groovy')
| -rw-r--r-- | jenkins/dispatch.groovy | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy index 6d37274..1d42053 100644 --- a/jenkins/dispatch.groovy +++ b/jenkins/dispatch.groovy @@ -48,6 +48,8 @@ node(LABEL) { // Make the log files a bit more deterministic env.PYTHONUNBUFFERED = "true" + sh "printenv" + // Delete any existing job workspace directory contents. // The directory deleted is the one named after the jenkins pipeline job. deleteDir() @@ -208,6 +210,8 @@ node(LABEL) { build job: pkg, parameters: [string(name: "label", value: env.NODE_NAME), + string(name: "build_control_repo", value: BUILD_CONTROL_REPO), + string(name: "build_control_branch", value: BUILD_CONTROL_BRANCH), string(name: "py_version", value: PY_VERSION), string(name: "numpy_version", value: "${this.manifest.numpy_version}"), |