From 57ecb6c8ebba1d742254f4fc251fe358017cdd2e Mon Sep 17 00:00:00 2001 From: Thomas Petazzoni Date: Thu, 19 Nov 2020 15:53:53 +0100 Subject: [PATCH] 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 Tested-by: Heiko Thiery Signed-off-by: Thomas Petazzoni --- utils/get-developers | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/utils/get-developers b/utils/get-developers index 750fc556dc..20272ed60b 100755 --- a/utils/get-developers +++ b/utils/get-developers @@ -77,9 +77,8 @@ def __main__(): 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 -- 2.30.2