chiark / gitweb /
common: error if any glob paths are unused
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 14 Nov 2015 12:05:16 +0000 (13:05 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 14 Nov 2015 12:05:16 +0000 (13:05 +0100)
Like rm=foo and foo doesn't exist.

fdroidserver/common.py

index ce7e73283e03f5aeffa147d2a7ee30c4fcf363e5..77ee203f1de7e0d90453767e3f93f57eaa045c3a 100644 (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