diff options
author | 2020-11-19 15:53:53 +0100 | |
---|---|---|
committer | 2021-01-17 15:32:07 +0100 | |
commit | 57ecb6c8ebba1d742254f4fc251fe358017cdd2e (patch) | |
tree | 575f9dc526c4c1e27957f3a2e28b708da285c793 /utils | |
parent | ffb262040500151261107321e0e7d2f8b4632bd8 (diff) | |
download | buildroot-57ecb6c8ebba1d742254f4fc251fe358017cdd2e.tar.gz buildroot-57ecb6c8ebba1d742254f4fc251fe358017cdd2e.tar.bz2 |
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>
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/get-developers | 5 |
1 files 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 |