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

Set default value of extra args to []

pull/10070/head
Oren Cohen 2019-03-26 13:53:31 +02:00
parent d012b3a5f5
commit 42a9d485e7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/psa/release.py
View File

@ -327,6 +327,7 @@ def get_parser():
parser.add_argument('-x', '--extra', parser.add_argument('-x', '--extra',
dest='extra_args', dest='extra_args',
default=[],
nargs=argparse.REMAINDER, nargs=argparse.REMAINDER,
help="additional build parameters") help="additional build parameters")