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

Only conditionally try to remove completed box

Browse source
This commit is contained in:
Ciaran Gultnieks 2014-01-08 10:56:53 +00:00 • committed by Daniel Martí
parent 8cb00b289f
commit 883d63f2c3
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
makebuildserver
View file

@ -201,5 +201,8 @@ vagrant(['package', '--output', os.path.join('..', boxfile)], serverdir)
print "Adding box"
vagrant(['box', 'add', 'buildserver', boxfile, '-f'])
os.remove(boxfile)
# Remove box file if it exists (older vagrant versions left it there, newer
# ones seem to delete it
if os.path.exists(boxfile):
os.remove(boxfile)