mirror of
https://github.com/godotengine/buildroot.git
synced 2026-01-04 06:10:16 +03:00
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>
(cherry picked from commit 57ecb6c8eb)
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
This commit is contained in:
committed by
Peter Korsgaard
parent
689651a3fa
commit
3bdae5980c
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user