Diff: get_config.py

Revision:

31:8ea194f6145b

Parent:

22:9e85236d8716

Child:

38:399953da035d

--- a/get_config.py	Mon Aug 29 11:56:59 2016 +0100
+++ b/get_config.py	Wed Jan 04 11:58:24 2017 -0600
@@ -37,7 +37,7 @@
 if __name__ == '__main__':
     # Parse Options
     parser = get_default_options_parser(add_clean=False, add_options=False)
-    parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type,
+    parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type, required=True,
                         default=[], help="The source (input) directory", action="append")
     parser.add_argument("--prefix", dest="prefix", action="append",
                       default=[], help="Restrict listing to parameters that have this prefix")
@@ -48,12 +48,12 @@
 
     # Target
     if options.mcu is None :
-        args_error(parser, "[ERROR] You should specify an MCU")
+        args_error(parser, "argument -m/--mcu is required")
     target = options.mcu[0]
 
     # Toolchain
     if options.tool is None:
-        args_error(parser, "[ERROR] You should specify a TOOLCHAIN")
+        args_error(parser, "argument -t/--toolchain is required")
     toolchain = options.tool[0]
 
     options.prefix = options.prefix or [""]