summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2026-08-19 15:54:12 -0500
committerJohn Estabrook <jestabro@vyos.io>2026-08-25 14:10:26 -0500
commitac415aa4f523db3d13406e6760ff36bb2f254a0d (patch)
tree195aa0ee95317010345f1259f5921374a0ca792b /src
parent315e090194edb1883631ecf64d47d54bf8ec29fd (diff)
downloadvyos1x-config-ac415aa4f523db3d13406e6760ff36bb2f254a0d.tar.gz
vyos1x-config-ac415aa4f523db3d13406e6760ff36bb2f254a0d.zip
T9231: add coarse ordering when loading reference tree
Order by file name before loading, useful for the rare case of visual inspection of the data structure. Strict orderings of derived data is left to Python wrappers.
Diffstat (limited to 'src')
-rw-r--r--src/generate.ml9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/generate.ml b/src/generate.ml
index d4d3f0e..3a0347d 100644
--- a/src/generate.ml
+++ b/src/generate.ml
@@ -14,8 +14,15 @@ let load_interface_definitions dir =
let relative_paths =
List.filter (fun x -> Filename.extension x = ".xml") dir_paths
in
+ let compar x y =
+ (* reverse order so as not to List.rev for fold_left below *)
+ String.compare (FilePath.basename y) (FilePath.basename x)
+ in
+ let sort_paths =
+ List.sort compar relative_paths
+ in
let absolute_paths =
- try Ok (List.map Util.absolute_path relative_paths)
+ try Ok (List.map Util.absolute_path sort_paths)
with Sys_error no_dir_msg -> Error no_dir_msg
in
let load_aux tree file =