Clone of official tools

Revision:
6:744106007ff3
Parent:
5:f45a4ca92830
Child:
7:5af61d55adbe
--- a/toolchains/__init__.py	Fri May 20 22:56:45 2016 +0100
+++ b/toolchains/__init__.py	Sat May 21 20:17:44 2016 +0100
@@ -377,7 +377,7 @@
                     ((d.upper().startswith('TARGET_') or d.upper().startswith('TARGET-')) and d[7:] not in labels['TARGET']) or
                     ((d.upper().startswith('TOOLCHAIN_') or d.upper().startswith('TOOLCHAIN-')) and d[10:] not in labels['TOOLCHAIN']) or
                     (d.upper() == 'TESTS') or
-                    exists(join(dir_path, '.mbedignore'))):
+                    exists(join(dir_path, '.buildignore'))):
                     dirs.remove(d)
                 
                 if exclude_paths: