Clone of official tools
Diff: project.py
- Revision:
- 29:1210849dba19
- Parent:
- 24:25bff2709c20
- Child:
- 31:8ea194f6145b
--- a/project.py Mon Aug 29 10:55:42 2016 +0100 +++ b/project.py Mon Aug 29 11:18:36 2016 +0100 @@ -59,7 +59,7 @@ parser.add_argument("-b", dest="build", default=False, - type=argparse_dir_not_parent(ROOT), + action="store_true", help="use the mbed library build, instead of the sources") group.add_argument("-L", "--list-tests",