Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
Fork of mbed-tools by
Diff: toolchains/__init__.py
- Revision:
- 15:8725ad2e7157
- Parent:
- 12:dde046e96d4b
- Child:
- 17:f0d03f4a04e2
--- a/toolchains/__init__.py Tue Apr 05 21:48:32 2016 +0100
+++ b/toolchains/__init__.py Tue Apr 05 22:07:27 2016 +0100
@@ -366,7 +366,8 @@
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'])):
+ (d.startswith('TOOLCHAIN_') and d[10:] not in labels['TOOLCHAIN']) or
+ (d == 'TESTS')):
dirs.remove(d)
# Add root to include paths