Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: build.py

Revision:
38:399953da035d
Parent:
36:96847d42f010
Child:
43:2a7da56ebd24
--- a/build.py	Fri Jul 07 16:20:25 2017 -0500
+++ b/build.py	Thu Jul 13 15:26:26 2017 -0500
@@ -32,6 +32,7 @@
 from tools.targets import TARGET_NAMES, TARGET_MAP
 from tools.options import get_default_options_parser
 from tools.options import extract_profile
+from tools.options import extract_mcus
 from tools.build_api import build_library, build_mbed_libs, build_lib
 from tools.build_api import mcu_toolchain_matrix
 from tools.build_api import print_build_results
@@ -134,7 +135,7 @@
 
 
     # Get target list
-    targets = options.mcu if options.mcu else TARGET_NAMES
+    targets = extract_mcus(parser, options) if options.mcu else TARGET_NAMES
 
     # Get toolchains list
     toolchains = options.tool if options.tool else TOOLCHAINS