ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Filter resources by included libraries

pull/9561/head
Jimmy Brisson 2019-01-16 11:15:13 -06:00
parent c5a721c104
commit 0b64c9cbbf
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tools/config/__init__.py
View File

@ -1311,8 +1311,17 @@ class Config(object):
for name, missing in missing_requirements.items() for name, missing in missing_requirements.items()
) )
raise ConfigException(message) raise ConfigException(message)
all_json_paths = [
cfg["__config_path"] for cfg in self.lib_config_data.values()
]
included_json_files = [
ref for ref in resources.get_file_refs(FileType.JSON)
if (
not ref.name.endswith(self.__mbed_lib_config_name)
or ref.path in all_json_paths
)
]
resources.filter_by_libraries(included_json_files)
if (hasattr(self.target, "release_versions") and if (hasattr(self.target, "release_versions") and
"5" not in self.target.release_versions and "5" not in self.target.release_versions and
"rtos" in self.lib_config_data): "rtos" in self.lib_config_data):