diff options
Diffstat (limited to 'jenkins')
| -rw-r--r-- | jenkins/dispatch.groovy | 4 | ||||
| -rw-r--r-- | jenkins/package_builder.groovy | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy index ce8b1cd..71758ab 100644 --- a/jenkins/dispatch.groovy +++ b/jenkins/dispatch.groovy @@ -62,6 +62,10 @@ node(LABEL) { // Make the log files a bit more deterministic env.PYTHONUNBUFFERED = "true" + // Provide an isolated home directory unique to this build. + sh "mkdir home" + env.HOME = "${env.WORKSPACE}/home" + sh "env | sort" // Delete any existing job workspace directory contents. diff --git a/jenkins/package_builder.groovy b/jenkins/package_builder.groovy index 9d7db25..c4ec473 100644 --- a/jenkins/package_builder.groovy +++ b/jenkins/package_builder.groovy @@ -14,6 +14,10 @@ node(this.label) { env.PYTHONUNBUFFERED = "true" def time = new Date() + // Use existing isolated home directory unique to this build provided + // by _dispatch. + env.HOME = "${env.WORKSPACE}/home" + sh "env | sort" println("\n" + |