summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorRunar Borge <runar@borge.nu>2019-01-16 22:56:52 +0100
committerRunar Borge <runar@borge.nu>2019-01-16 22:56:52 +0100
commit4b01d95b118b88c12f48284a91ee71fc04d60cb5 (patch)
treecad98f36d4b9abd995b76fc7042bee9913b36c3f /Jenkinsfile
parentfc61294dd0c7edef9fab3a6e96ddf287df25c3fa (diff)
parent04389cbef57a5f36eb8dccd5dc2d81ef5e94f9b2 (diff)
downloadvyos-build-4b01d95b118b88c12f48284a91ee71fc04d60cb5.tar.gz
vyos-build-4b01d95b118b88c12f48284a91ee71fc04d60cb5.zip
Merge remote-tracking branch 'upstream/current' into current
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index fc08eff2..b5210544 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,8 +53,11 @@ pipeline {
}
post {
- always {
+ cleanup {
echo 'One way or another, I have finished'
+ // the 'build' directory got elevated permissions during the build
+ // cdjust permissions so it can be cleaned up by the regular user
+ sh 'sudo chmod -R 777 build/'
deleteDir() /* cleanup our workspace */
}
}