From faa9ce76af60b378bd1bbd6f0df7f704692c7dba Mon Sep 17 00:00:00 2001 From: Mihail Stoyanov Date: Tue, 17 May 2016 19:46:42 +0100 Subject: [PATCH] Removed fixes intended for different PR --- tools/toolchains/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py index 523935209a..5496d4ecf6 100644 --- a/tools/toolchains/__init__.py +++ b/tools/toolchains/__init__.py @@ -363,14 +363,14 @@ class mbedToolchain: for d in copy(dirs): dir_path = join(root, d) - if d == '.hg' or d == '.git': + if d == '.hg': resources.repo_dirs.append(dir_path) resources.repo_files.extend(self.scan_repository(dir_path)) if ((d.startswith('.') or d in self.legacy_ignore_dirs) or (d.startswith('TARGET_') and d[7:] not in labels['TARGET']) or (d.startswith('TOOLCHAIN_') and d[10:] not in labels['TOOLCHAIN']) or - (d.upper() == 'TESTS') or + (d == 'TESTS') or exists(join(dir_path, '.buildignore'))): dirs.remove(d)