ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add colorization option to default options parser 

should be picked up by most cli's
pull/2122/head
Jimmy Brisson 2016-07-07 11:40:04 -05:00
parent 967b45a3ec
commit f4254c4fee
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/options.py
View File

@ -37,6 +37,10 @@ def get_default_options_parser(add_clean=True, add_options=True):
metavar="TOOLCHAIN", metavar="TOOLCHAIN",
type=argparse_many(argparse_force_uppercase_type(toolchainlist, "toolchain"))) type=argparse_many(argparse_force_uppercase_type(toolchainlist, "toolchain")))
parser.add_argument("--color",
help="print Warnings, and Errors in color",
action="store_true", default=False)
if add_clean: if add_clean:
parser.add_argument("-c", "--clean", action="store_true", default=False, parser.add_argument("-c", "--clean", action="store_true", default=False,
help="clean the build directory") help="clean the build directory")