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

Removed fixes intended for different PR

Mihail Stoyanov 2016-05-17 19:46:42 +01:00
parent b57fbf4c68
commit faa9ce76af
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/toolchains/__init__.py
View File

@ -363,14 +363,14 @@ class mbedToolchain:
for d in copy(dirs): for d in copy(dirs):
dir_path = join(root, d) dir_path = join(root, d)
if d == '.hg' or d == '.git': if d == '.hg':
resources.repo_dirs.append(dir_path) resources.repo_dirs.append(dir_path)
resources.repo_files.extend(self.scan_repository(dir_path)) resources.repo_files.extend(self.scan_repository(dir_path))
if ((d.startswith('.') or d in self.legacy_ignore_dirs) or if ((d.startswith('.') or d in self.legacy_ignore_dirs) or
(d.startswith('TARGET_') and d[7:] not in labels['TARGET']) or (d.startswith('TARGET_') and d[7:] not in labels['TARGET']) or
(d.startswith('TOOLCHAIN_') and d[10:] not in labels['TOOLCHAIN']) or (d.startswith('TOOLCHAIN_') and d[10:] not in labels['TOOLCHAIN']) or
(d.upper() == 'TESTS') or (d == 'TESTS') or
exists(join(dir_path, '.buildignore'))): exists(join(dir_path, '.buildignore'))):
dirs.remove(d) dirs.remove(d)