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

Revert duplicated implemenation of --custom-targets

pull/9401/head
Garrett 2019-01-17 13:10:10 -05:00 committed by Garrett LoVerde
parent 00a5fac0be
commit bb5ea80890
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/build.py
View File

@ -53,9 +53,6 @@ if __name__ == '__main__':
parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type, parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type,
default=None, help="The source (input) directory", action="append") default=None, help="The source (input) directory", action="append")
parser.add_argument("--custom-targets", dest="custom_targets_directory", type=argparse_filestring_type,
default=None, help="Specify directory containing custom_targets.json", action="append")
parser.add_argument("--build", dest="build_dir", type=argparse_dir_not_parent(ROOT), parser.add_argument("--build", dest="build_dir", type=argparse_dir_not_parent(ROOT),
default=None, help="The build (output) directory") default=None, help="The build (output) directory")