From c97b0e7ed9041f3595966af39622e9b3fe44d160 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Daniel=20Mart=C3=AD?= Date: Sat, 14 Nov 2015 13:05:16 +0100 Subject: [PATCH] common: error if any glob paths are unused Like rm=foo and foo doesn't exist. --- fdroidserver/common.py | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.30.2