forked from mirrors/0ad
Handle module attributes in checkrefs
Prevents GUI modules from being incorrectly reported as unused files Fixes #8147
This commit is contained in:
committed by
Ralph Sennhauser
parent
10d8269365
commit
77a53121e0
@@ -711,6 +711,8 @@ class CheckRefs:
|
||||
for script in root_xml.findall("script"):
|
||||
if script.get("file"):
|
||||
self.deps.append((fp, Path(script.get("file"))))
|
||||
if script.get("module"):
|
||||
self.deps.append((fp, Path(script.get("module"))))
|
||||
if script.get("directory"):
|
||||
# If including an entire directory, find all the *.js files
|
||||
self.deps.extend(
|
||||
|
||||
Reference in New Issue
Block a user