From: Daniel Martí Date: Sat, 14 Nov 2015 12:05:16 +0000 (+0100) Subject: common: error if any glob paths are unused X-Git-Tag: 0.6.0~107 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c97b0e7ed9041f3595966af39622e9b3fe44d160;p=fdroidserver.git common: error if any glob paths are unused Like rm=foo and foo doesn't exist. --- diff --git a/fdroidserver/common.py b/fdroidserver/common.py index ce7e7328..77ee203f 100644 --- a/fdroidserver/common.py +++ b/fdroidserver/common.py @@ -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