Clone of official tools
Diff: make.py
- Revision:
- 24:25bff2709c20
- Parent:
- 22:9e85236d8716
- Child:
- 31:8ea194f6145b
--- a/make.py Sat Jul 16 22:51:17 2016 +0100 +++ b/make.py Mon Aug 01 09:10:17 2016 +0100 @@ -45,6 +45,7 @@ from tools.build_api import mcu_toolchain_matrix from utils import argparse_filestring_type from utils import argparse_many +from utils import argparse_dir_not_parent from argparse import ArgumentTypeError from tools.toolchains import mbedToolchain from tools.settings import CLI_COLOR_MAP @@ -112,7 +113,7 @@ default=None, help="The source (input) directory", action="append") parser.add_argument("--duration", type=int, dest="duration", default=None, help="Duration of the test") - parser.add_argument("--build", dest="build_dir", + parser.add_argument("--build", dest="build_dir", type=argparse_dir_not_parent(ROOT), default=None, help="The build (output) directory") parser.add_argument("-N", "--artifact-name", dest="artifact_name", default=None, help="The built project's name")