tools: config-create: Sort listed directories

This will specifically ensure that PCI devices will be added to the
configuration file in a sorted manner which helps with manual
post-processing.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/tools/jailhouse-config-create b/tools/jailhouse-config-create
index d5b798fe2e07bc2606aaf2a3c0d5753931ce6e3e..4a26c086b2910fa4d47f227094183b3c442d3f95 100755 (executable)
--- a/tools/jailhouse-config-create
+++ b/tools/jailhouse-config-create
@@ -211,7 +211,9 @@ def input_listdir(dir, wildcards):
         inputs['dirs'].add(dir + '/' + w)
     if options.generate_collector:
         return []
-    return os.listdir(options.root + dir)
+    dirs = os.listdir(options.root + dir)
+    dirs.sort()
+    return dirs
 
 
 def parse_cmdline():