Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: Remove the working directory at the end of a successful run
......................................................................
Remove the working directory at the end of a successful run
Change-Id: I9fa8aeb211daec79c09d10d735c79179deeeb35c
---
M puppet_compiler/controller.py
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
diff --git a/puppet_compiler/controller.py b/puppet_compiler/controller.py
index d511ab6..c695944 100644
--- a/puppet_compiler/controller.py
+++ b/puppet_compiler/controller.py
@@ -99,6 +99,8 @@
index = html.Index(self.outdir)
index.render(self.state)
_log.info('Run finished; see your results at %s/%s/',
self.config['http_url'], html.job_id)
+ # Remove the source and the diffs etc, we just need the output.
+ self.m.cleanup()
return self.success
@property
--
To view, visit https://gerrit.wikimedia.org/r/231573
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9fa8aeb211daec79c09d10d735c79179deeeb35c
Gerrit-PatchSet: 1
Gerrit-Project: operations/software/puppet-compiler
Gerrit-Branch: master
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits