Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: build_api.py

Revision:
45:c4a728429846
Parent:
43:2a7da56ebd24
diff -r bad0b339f97d -r c4a728429846 build_api.py
--- a/build_api.py	Tue Sep 25 13:48:22 2018 -0500
+++ b/build_api.py	Tue Sep 25 13:52:56 2018 -0500
@@ -515,8 +515,7 @@
 
     # Apply targets.json to active targets
     if targets_json:
-        if verbose:
-            print("Using targets from %s" % targets_json)
+        notify.info("Using targets from %s" % targets_json)
         set_targets_json_location(targets_json)
 
     # Apply profile to toolchains