mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #4547 from bridadan/sort_config_data
Sort the config parameters before printing thempull/4736/head
commit
8224dab741
|
@ -67,7 +67,7 @@ if __name__ == '__main__':
|
|||
if params:
|
||||
print "Configuration parameters"
|
||||
print "------------------------"
|
||||
for p in params:
|
||||
for p in sorted(params):
|
||||
for s in options.prefix:
|
||||
if p.startswith(s):
|
||||
print(str(params[p]) if not options.verbose else params[p].get_verbose_description())
|
||||
|
|
Loading…
Reference in New Issue