From 1db46c1df7dbe3fbc5f57f2aad60e74573b967be Mon Sep 17 00:00:00 2001 From: Brian Daniels Date: Tue, 13 Jun 2017 16:36:21 -0500 Subject: [PATCH] Sort the config parameters before printing them --- tools/get_config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/get_config.py b/tools/get_config.py index 9782fc16ae..c69fafa341 100644 --- a/tools/get_config.py +++ b/tools/get_config.py @@ -66,7 +66,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())