Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: get_config.py

Revision:
38:399953da035d
Parent:
31:8ea194f6145b
Child:
40:7d3fa6b99b2b
diff -r f8cfeb185c30 -r 399953da035d get_config.py
--- a/get_config.py	Fri Jul 07 16:20:25 2017 -0500
+++ b/get_config.py	Thu Jul 13 15:26:26 2017 -0500
@@ -26,6 +26,7 @@
 
 from tools.utils import args_error
 from tools.options import get_default_options_parser
+from tools.options import extract_mcus
 from tools.build_api import get_config
 from config import Config
 from utils import argparse_filestring_type
@@ -49,7 +50,7 @@
     # Target
     if options.mcu is None :
         args_error(parser, "argument -m/--mcu is required")
-    target = options.mcu[0]
+    target = extract_mcus(parser, options)[0]
 
     # Toolchain
     if options.tool is None: