tools: adds and implements a --custom-targets command line switch#9401

Merged

0xc0170 merged 5 commits intoARMmbed:masterfrom

0Grit:custom-targets-option

Jan 21, 2019

Commits on Jan 17, 2019

adds --custom-targets argument anywhere extract_mcus is called
Garrett
committed
If custom_targets_directory exists use it over source_dir
Garrett
committed
Revert get_config.py make.py test.py
Garrett
committed
Add --custom-target argument to get_default_options_parser
Garrett
committed
Revert duplicated implemenation of --custom-targets
Garrett
committed