From 368d9a852c6b5851fb3365546ded12da9fe856a6 Mon Sep 17 00:00:00 2001 From: Jan Kiszka Date: Wed, 23 Jul 2014 14:04:27 +0200 Subject: [PATCH] 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 --- tools/jailhouse-config-create | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/jailhouse-config-create b/tools/jailhouse-config-create index d5b798f..4a26c08 100755 --- 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(): -- 2.39.2