Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: build_profiles.py

Revision:
32:fef1f96d5e06
Parent:
24:25bff2709c20
--- a/build_profiles.py	Mon Aug 29 11:56:59 2016 +0100
+++ b/build_profiles.py	Wed Jan 04 11:58:24 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))
@@ -302,4 +303,4 @@
     '969fc1867111': 2,
     '6b7f447ca868': 1,
     '82220227f4fa': 0,
-}
\ No newline at end of file
+}