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

Add docstrings

pull/3560/head
Jimmy Brisson 2017-01-10 14:36:15 -06:00
parent 39a5caacab
commit c14a5b94ec
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/toolchains/__init__.py
View File

@ -507,12 +507,20 @@ class mbedToolchain:
return False return False
def is_ignored(self, file_path): def is_ignored(self, file_path):
"""Check if file path is ignored by any .mbedignore thus far"""
for pattern in self.ignore_patterns: for pattern in self.ignore_patterns:
if fnmatch.fnmatch(file_path, pattern): if fnmatch.fnmatch(file_path, pattern):
return True return True
return False return False
def add_ignore_patterns(self, root, base_path, patterns): def add_ignore_patterns(self, root, base_path, patterns):
"""Add a series of patterns to the ignored paths
Positional arguments:
root - the directory containing the ignore file
base_path - the location that the scan started from
patterns - the list of patterns we will ignore in the future
"""
real_base = relpath(root, base_path) real_base = relpath(root, base_path)
if real_base == ".": if real_base == ".":
self.ignore_patterns.extend(patterns) self.ignore_patterns.extend(patterns)