Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
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",