From bb1e66e814c6ee5703f0143f5d8ee89f6bd67912 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 10 Feb 2021 13:24:26 +0100
Subject: [PATCH] [Kernel] audit mode failure triggers an error
---
src/kernel_services/plugin_entry_points/kernel.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index 6f1f0afcbcc..29233769c6a 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -195,6 +195,7 @@ let wkey_acsl_extension = register_warn_category "acsl-extension"
let wkey_cmdline = register_warn_category "cmdline"
let wkey_audit = register_warn_category "audit"
+let () = set_warn_status wkey_audit Log.Werror
(* ************************************************************************* *)
(** {2 Specialised functors for building kernel parameters} *)
--
GitLab