kamp/fdroidserver
1
0
Fork 0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-09-17 10:40:12 +02:00
Code Activity

Made 'rm' build option work if file doesn't exist

Browse Source 
The latest platform tools delete build.properties, the old ones didn't.
This allows several builds to work either way.
This commit is contained in:
Ciaran Gultnieks 2012-01-23 13:49:17 +00:00
parent 2c107daaaf
commit 17cd20fabf
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common.py
View File

@ -633,7 +633,9 @@ def prepare_source(vcs, app, build, build_dir, sdk_path, ndk_path, javacc_path,
# Delete unwanted file...
if build.has_key('rm'):
os.remove(os.path.join(build_dir, build['rm']))
dest = os.path.join(build_dir, build['rm'])
if os.path.exists(dest):
os.remove(dest)
# Fix apostrophes translation files if necessary...
if build.get('fixapos', 'no') == 'yes':