From d964dc8e51204c3a12f58ec706e3e0324d72b015 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 6 Oct 2020 17:10:24 +0200
Subject: [PATCH] [kernel] sort fields of dumped configuration

---
 src/kernel_internals/runtime/dump_config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_internals/runtime/dump_config.ml b/src/kernel_internals/runtime/dump_config.ml
index a5306e02a9e..eff314eafd0 100644
--- a/src/kernel_internals/runtime/dump_config.ml
+++ b/src/kernel_internals/runtime/dump_config.ml
@@ -77,7 +77,7 @@ let dump_to_json () =
 
 let dump_to_stdout () =
   let json = dump_to_json () in
-  Yojson.Basic.pretty_to_channel stdout json
+  Yojson.Basic.(pretty_to_channel stdout (sort json))
 
 let () =
   let action () =
-- 
GitLab