From: Daniel Martí <mvdan@mvdan.cc>
Date: Fri, 17 Apr 2015 17:28:35 +0000 (+0000)
Subject: Merge branch 'projectproperties' into 'master'
X-Git-Tag: 0.4.0~92
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=1af774811d71e31b7545810086e5d645314e0a3a;p=fdroidserver.git

Merge branch 'projectproperties' into 'master'

Fix project.properties dependency issue

Correctly place scrlib references also
in the case there is no project.properties file
present in the original repository.

This commit fixes a problem, which was introduced with
021df3c42420de542bf11f22948831023b47ebf3: If no
project.properties file exists in the original
project's source repo, place_srclib will not place
a dependency --- even if there should be one:

>    if not os.path.isfile(proppath):
>        return

Example app: fdroiddata/metadata/org.berlin_vegan.bvapp.txt

See merge request !47
---

1af774811d71e31b7545810086e5d645314e0a3a