mirror of https://github.com/ARMmbed/mbed-os.git
Allowing a list of exclude paths to be passed
parent
8cc6a58162
commit
bbc6e2aba3
|
@ -341,7 +341,7 @@ class mbedToolchain:
|
||||||
|
|
||||||
return False
|
return False
|
||||||
|
|
||||||
def scan_resources(self, path, exclude_path=None):
|
def scan_resources(self, path, exclude_paths=None):
|
||||||
labels = self.get_labels()
|
labels = self.get_labels()
|
||||||
resources = Resources(path)
|
resources = Resources(path)
|
||||||
self.has_config = False
|
self.has_config = False
|
||||||
|
@ -367,9 +367,12 @@ class mbedToolchain:
|
||||||
|
|
||||||
should_exclude_path = False
|
should_exclude_path = False
|
||||||
|
|
||||||
if exclude_path:
|
if exclude_paths:
|
||||||
|
for exclude_path in exclude_paths:
|
||||||
rel_path = relpath(dir_path, exclude_path)
|
rel_path = relpath(dir_path, exclude_path)
|
||||||
should_exclude_path = not (rel_path.startswith('..'))
|
if not (rel_path.startswith('..')):
|
||||||
|
should_exclude_path = True
|
||||||
|
break
|
||||||
|
|
||||||
if ((should_exclude_path) or
|
if ((should_exclude_path) or
|
||||||
(d.startswith('.') or d in self.legacy_ignore_dirs) or
|
(d.startswith('.') or d in self.legacy_ignore_dirs) or
|
||||||
|
|
Loading…
Reference in New Issue