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

Fix minor formatting mistake

pull/8358/head^4
Jimmy Brisson 2018-10-02 09:55:49 -05:00
parent f220628f92
commit b84cef9c62
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

@ -392,7 +392,7 @@ class Resources(object):
self._ignoreset.add_mbedignore( self._ignoreset.add_mbedignore(
real_base, join(root, IGNORE_FILENAME)) real_base, join(root, IGNORE_FILENAME))
root_path =join(relpath(root, base_path)) root_path = join(relpath(root, base_path))
if self._ignoreset.is_ignored(join(root_path,"")): if self._ignoreset.is_ignored(join(root_path,"")):
self.ignore_dir(root_path) self.ignore_dir(root_path)
dirs[:] = [] dirs[:] = []