mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-16 16:02:33 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Create local.properties if it doesn't exist

Browse source
This commit is contained in:
Daniel Martí 2014-09-25 18:11:56 +02:00
parent 5798887d53
commit c9daf93f69
1 changed files with 9 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

16
fdroidserver/common.py
View file

@ -1188,13 +1188,15 @@ def prepare_source(vcs, app, build, build_dir, srclib_dir, extlib_dir, onserver=
if build['subdir']: if build['subdir']:
localprops += [os.path.join(root_dir, 'local.properties')] localprops += [os.path.join(root_dir, 'local.properties')]
for path in localprops: for path in localprops:
if not os.path.isfile(path): props = ""
continue if os.path.isfile(path):
logging.info("Updating properties file at %s" % path) logging.info("Updating local.properties file at %s" % path)
f = open(path, 'r') f = open(path, 'r')
props = f.read() props += f.read()
f.close() f.close()
props += '\n' props += '\n'
else:
logging.info("Creating local.properties file at %s" % path)
# Fix old-fashioned 'sdk-location' by copying # Fix old-fashioned 'sdk-location' by copying
# from sdk.dir, if necessary # from sdk.dir, if necessary
if build['oldsdkloc']: if build['oldsdkloc']: