Clone of official tools
Diff: toolchains/__init__.py
- 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: