mirror of https://github.com/ARMmbed/mbed-os.git
Set default value of extra args to []
parent
c397d9e62a
commit
3f63ffbef3
|
@ -327,6 +327,7 @@ def get_parser():
|
|||
|
||||
parser.add_argument('-x', '--extra',
|
||||
dest='extra_args',
|
||||
default=[],
|
||||
nargs=argparse.REMAINDER,
|
||||
help="additional build parameters")
|
||||
|
||||
|
|
Loading…
Reference in New Issue