utils/get-developers: use Developers.hasfile() where appropriate
Instead of open-coding Developers.hasfile() in utils/get-developers,
use it directly.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Tested-by: Heiko Thiery <heiko.thiery@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
diff --git a/utils/get-developers b/utils/get-developers
index 750fc55..20272ed 100755
--- a/utils/get-developers
+++ b/utils/get-developers
@@ -77,9 +77,8 @@
if args.files is not None:
args.files = [os.path.abspath(f) for f in args.files]
for dev in devs:
- for devfile in dev.files:
- commonfiles = [f for f in args.files if f.startswith(devfile)]
- if commonfiles:
+ for f in args.files:
+ if dev.hasfile(f):
print(dev.name)
break
