mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-07 16:00:28 +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
parent 993d63506e
commit b30b881711
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
makebuildserver
View file

@ -201,5 +201,8 @@ vagrant(['package', '--output', os.path.join('..', boxfile)], serverdir)
print "Adding box" print "Adding box"
vagrant(['box', 'add', 'buildserver', boxfile, '-f']) vagrant(['box', 'add', 'buildserver', boxfile, '-f'])
# 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) os.remove(boxfile)