From 67f322b22b40bc234b2de4ec9e997cf1b0d191b9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 2 Jul 2024 15:21:32 +0200
Subject: [PATCH] [kernel] fix share visibility
---
src/kernel_services/plugin_entry_points/plugin.ml | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml
index 191cd1db47..5321356107 100644
--- a/src/kernel_services/plugin_entry_points/plugin.ml
+++ b/src/kernel_services/plugin_entry_points/plugin.ml
@@ -295,6 +295,11 @@ struct
let is_visible = !share_visible_ref
let is_kernel = is_kernel () (* the side effect must be applied right now *)
+ let () =
+ Parameter_customize.set_cmdline_stage Cmdline.Extended;
+ if is_visible then Parameter_customize.is_reconfigurable ()
+ else Parameter_customize.is_invisible ()
+
module Dir_name =
Filepath
(struct
--
GitLab