mirror of https://github.com/ARMmbed/mbed-os.git
Remove unused local
parent
b84cef9c62
commit
98e0faa551
|
@ -361,9 +361,6 @@ class GNUARMEclipse(Exporter):
|
||||||
- recurse the tree and collect all unused folders; descend
|
- recurse the tree and collect all unused folders; descend
|
||||||
the hierarchy only for used nodes
|
the hierarchy only for used nodes
|
||||||
"""
|
"""
|
||||||
source_folders = [self.filter_dot(s) for s in set(dirname(
|
|
||||||
src) for src in self.resources.c_sources + self.resources.cpp_sources + self.resources.s_sources)]
|
|
||||||
|
|
||||||
self.excluded_folders = set(self.resources.ignored_dirs) - set(self.resources.inc_dirs)
|
self.excluded_folders = set(self.resources.ignored_dirs) - set(self.resources.inc_dirs)
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue