chiark / gitweb /
Merge branch 'projectproperties' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 17 Apr 2015 17:28:35 +0000 (17:28 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 17 Apr 2015 17:28:35 +0000 (17:28 +0000)
commit1af774811d71e31b7545810086e5d645314e0a3a
treeb45e40c25c9d27ae71dd44c4ffdd8dd0ac7c25ee
parent3f9d6b2947721b953df07c8713674c76446312da
parent96e4062bcf2446e635e522e8b71ced178140edde
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
fdroidserver/common.py