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

Allow --source to be specified more than once

pull/2010/head
Jimmy Brisson 2016-06-29 17:00:29 -05:00
parent 4c5bfaa3d8
commit bca12206f1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/make.py
View File

@ -106,8 +106,8 @@ if __name__ == '__main__':
default=None, help="Required peripherals") default=None, help="Required peripherals")
parser.add_argument("--dep", dest="dependencies", parser.add_argument("--dep", dest="dependencies",
default=None, help="Dependencies") default=None, help="Dependencies")
group.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", nargs="*") default=None, help="The source (input) directory", action="append")
parser.add_argument("--duration", type=int, dest="duration", parser.add_argument("--duration", type=int, dest="duration",
default=None, help="Duration of the test") default=None, help="Duration of the test")
parser.add_argument("--build", dest="build_dir", parser.add_argument("--build", dest="build_dir",