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

Sort the config parameters before printing them

pull/4760/head
Brian Daniels 2017-06-13 16:36:21 -05:00 committed by adbridge
parent 1c3469bfaa
commit f1b45989db
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/get_config.py
View File

@ -67,7 +67,7 @@ if __name__ == '__main__':
if params: if params:
print "Configuration parameters" print "Configuration parameters"
print "------------------------" print "------------------------"
for p in params: for p in sorted(params):
for s in options.prefix: for s in options.prefix:
if p.startswith(s): if p.startswith(s):
print(str(params[p]) if not options.verbose else params[p].get_verbose_description()) print(str(params[p]) if not options.verbose else params[p].get_verbose_description())