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

Merge pull request #2225 from theotherjimmy/fix-project-args-traceback 

Fix #2223
pull/2133/head
Sam Grove 2016-07-22 18:03:25 -05:00 committed by GitHub
parent 2e5bf78717 a603bb0e01
commit 03e99031e7
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/project.py
View File

@ -58,7 +58,6 @@ if __name__ == '__main__':
parser.add_argument("-b", parser.add_argument("-b",
dest="build", dest="build",
action="store_true",
default=False, default=False,
type=argparse_dir_not_parent(ROOT), type=argparse_dir_not_parent(ROOT),
help="use the mbed library build, instead of the sources") help="use the mbed library build, instead of the sources")