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

Remove what we're checking for membership

pull/8303/head
Jimmy Brisson 2018-10-19 10:19:51 -05:00
parent 98e0faa551
commit 418ca3a473
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/resources/__init__.py
View File

@ -380,7 +380,7 @@ class Resources(object):
if into_path is None: if into_path is None:
into_path = path into_path = path
if self._collect_ignores and relpath(path, base_path) in self.ignored_dirs: if self._collect_ignores and relpath(path, base_path) in self.ignored_dirs:
self.ignored_dirs.remove(path) self.ignored_dirs.remove(relpath(path, base_path))
if exclude_paths: if exclude_paths:
self.add_ignore_patterns( self.add_ignore_patterns(
path, base_path, [join(e, "*") for e in exclude_paths]) path, base_path, [join(e, "*") for e in exclude_paths])