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

Allow make.py to accpet just --source

pull/2010/head
Jimmy Brisson 2016-06-29 17:28:50 -05:00
parent 6d0716c69b
commit 122fa93a70
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/make.py
View File

@ -50,7 +50,7 @@ from argparse import ArgumentTypeError
if __name__ == '__main__': if __name__ == '__main__':
# Parse Options # Parse Options
parser = get_default_options_parser() parser = get_default_options_parser()
group = parser.add_mutually_exclusive_group(required=True) group = parser.add_mutually_exclusive_group(required=False)
group.add_argument("-p", group.add_argument("-p",
type=argparse_many(test_known), type=argparse_many(test_known),
dest="program", dest="program",