the other jimmy / 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.

Fork of mbed-sdk-tools by mbed official

Diff: build_api.py

Revision:
17:04753e1e329d
Parent:
14:ee1b877e6839
Child:
22:9e85236d8716
diff -r a6285a7e5cc6 -r 04753e1e329d build_api.py
--- a/build_api.py	Thu Jul 14 21:29:46 2016 +0100
+++ b/build_api.py	Fri Jul 15 12:33:09 2016 +0100
@@ -167,7 +167,6 @@
             if not profile_data:
                 return
             self.info("Using toolchain %s profile %s" % (self.name, profile))
-            
 
             for k,v in profile_data.items():
                 if self.flags.has_key(k):