mbed official / mbed-sdk-tools

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.

Diff: build_profiles.py

Revision:
34:42f20e28adf5
Parent:
33:c8effba9595f
Child:
35:da9c89f8be7d
--- a/build_profiles.py	Wed Feb 08 11:04:24 2017 -0600
+++ b/build_profiles.py	Mon Feb 13 09:29:13 2017 -0600
@@ -81,6 +81,7 @@
         for d in copy(dirs):
             if d.startswith('.'):
                 dirs.remove(d)
+                continue
 
             if exists(join(root, d, f)):
                 return abspath(join(root, d, f))