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

Minor fixes

pull/9561/head
Jimmy Brisson 2019-01-25 09:42:47 -06:00
parent e201fdb6e9
commit 06ea053419
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
features/nanostack/mbed_lib.json
View File

@ -1,3 +1,3 @@
{
"name": "nanostack"
"name": "nanostack-upper"
}

6
tools/resources/__init__.py
View File

@ -263,9 +263,9 @@ class Resources(object):
if self._libs_filtered is None:
return list(self._file_refs[file_type])
else:
to_ret = []
for ref in self._file_refs[file_type]:
_, path = ref
to_ret = []
for ref in self._file_refs[file_type]:
_, path = ref
if not any(
path.startswith(dirname(e.path)) for e in self._excluded_libs
):