From: Marcus Hoffmann Date: Sun, 27 Aug 2017 19:41:16 +0000 (+0000) Subject: Merge branch 'mr/update_platforms_tools' into 'master' X-Git-Tag: 0.9~101 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=222b9251e7ec27518ecf43ac3de1c18a1694fb1d;hp=69666839f7d400c64a4e511df77d8ea4c1c870e9;p=fdroidserver.git Merge branch 'mr/update_platforms_tools' into 'master' makebuildserver: update platform and build tool releases See merge request !317 --- diff --git a/fdroidserver/metadata.py b/fdroidserver/metadata.py index 739e964a..25e05377 100644 --- a/fdroidserver/metadata.py +++ b/fdroidserver/metadata.py @@ -728,6 +728,7 @@ def read_metadata(xref=True, check_vcs=[]): for metadatapath in sorted(glob.glob(os.path.join('metadata', '*.txt')) + glob.glob(os.path.join('metadata', '*.json')) + glob.glob(os.path.join('metadata', '*.yml')) + + glob.glob('.fdroid.txt') + glob.glob('.fdroid.json') + glob.glob('.fdroid.yml')): packageName, _ = fdroidserver.common.get_extension(os.path.basename(metadatapath))