mirror of https://github.com/ARMmbed/mbed-os.git
Revert get_config.py make.py test.py
parent
31615eb542
commit
fc968e6cef
|
@ -39,11 +39,6 @@ if __name__ == '__main__':
|
|||
"--source", dest="source_dir", type=argparse_filestring_type,
|
||||
required=True, default=[], help="The source (input) directory",
|
||||
action="append")
|
||||
parser.add_argument(
|
||||
"--custom-targets", dest="custom_targets_directory",
|
||||
type=argparse_filestring_type, default=[],
|
||||
help="Specify directory containing custom_targets.json",
|
||||
action="append")
|
||||
parser.add_argument(
|
||||
"--prefix", dest="prefix", action="append", default=[],
|
||||
help="Restrict listing to parameters that have this prefix")
|
||||
|
|
|
@ -202,14 +202,6 @@ if __name__ == '__main__':
|
|||
action="append",
|
||||
help="The source (input) directory"
|
||||
)
|
||||
parser.add_argument(
|
||||
"--custom-targets",
|
||||
dest="custom_targets_directory",
|
||||
type=argparse_filestring_type,
|
||||
default=None,
|
||||
action="append",
|
||||
help="Specify directory containing custom_targets.json"
|
||||
)
|
||||
parser.add_argument(
|
||||
"--duration",
|
||||
type=int,
|
||||
|
|
|
@ -65,10 +65,6 @@ if __name__ == '__main__':
|
|||
type=argparse_filestring_type,
|
||||
default=None, help="The source (input) directory (for sources other than tests). Defaults to current 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),
|
||||
default=None, help="The build (output) directory")
|
||||
|
||||
|
|
Loading…
Reference in New Issue