ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add --custom-target argument to get_default_options_parser

pull/9401/head
Garrett 2019-01-16 16:25:21 -05:00 committed by Garrett LoVerde
parent fc968e6cef
commit 00a5fac0be
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/options.py
View File

@ -52,6 +52,13 @@ def get_default_options_parser(add_clean=True, add_options=True,
', '.join(targetnames)),
metavar="MCU")
parser.add_argument("--custom-targets",
help="Specify directory containing custom_targets.json",
type=argparse_filestring_type,
dest="custom_targets_directory",
action="append",
default=None)
parser.add_argument("-t", "--tool",
help=("build using the given TOOLCHAIN (%s)" %
', '.join(toolchainlist)),
@ -139,4 +146,3 @@ def extract_mcus(parser, options):
return argparse_many(argparse_force_uppercase_type(targetnames, "MCU"))(options.mcu)
except ArgumentTypeError as exc:
args_error(parser, "argument -m/--mcu: {}".format(str(exc)))