Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: build_api.py

Revision:
17:04753e1e329d
Parent:
14:ee1b877e6839
Child:
22:9e85236d8716
--- 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):