Diff: build.py

Revision:

24:25bff2709c20

Parent:

22:9e85236d8716

Child:

31:8ea194f6145b

diff -r fbae331171fa -r 25bff2709c20 build.py
--- a/build.py	Sat Jul 16 22:51:17 2016 +0100
+++ b/build.py	Mon Aug 01 09:10:17 2016 +0100
@@ -38,6 +38,7 @@
 from tools.settings import CPPCHECK_CMD, CPPCHECK_MSG_FORMAT
 from utils import argparse_filestring_type
 from tools.settings import CPPCHECK_CMD, CPPCHECK_MSG_FORMAT, CLI_COLOR_MAP
+from utils import argparse_filestring_type, argparse_dir_not_parent
 
 if __name__ == '__main__':
     start = time()
@@ -48,7 +49,7 @@
     parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type,
                         default=None, help="The source (input) directory", action="append")
 
-    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("--no-archive", dest="no_archive", action="store_true",