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

common: error if any glob paths are unused

Browse source 
Like rm=foo and foo doesn't exist.
This commit is contained in:
Daniel Martí 2015-11-14 13:05:16 +01:00
parent f604d845f5
commit c97b0e7ed9
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/common.py
View file

@ -1504,6 +1504,8 @@ def getpaths_map(build_dir, globpaths):
full_path = os.path.join(build_dir, p)
full_path = os.path.normpath(full_path)
paths[p] = [r[len(build_dir) + 1:] for r in glob.glob(full_path)]
if not paths[p]:
raise FDroidException("glob path '%s' did not match any files/dirs" % p)
return paths