mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 06:50:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'delete-triple-redundant-img' into 'master'

Browse source 
makebuildserver: delete unused libvirt image after process is complete

See merge request fdroid/fdroidserver!1253
This commit is contained in:
Jochen Sprickerhof 2022-11-09 21:42:07 +00:00
commit c30340947a
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
makebuildserver
View file

@ -409,6 +409,9 @@ def main():
boxfile) boxfile)
os.remove(boxfile) os.remove(boxfile)
# This was needed just to create the box, after that, it is unused.
vm.destroy()
if __name__ == '__main__': if __name__ == '__main__':