Skip to content
Snippets Groups Projects
Commit bb1e66e8 authored by Andre Maroneze's avatar Andre Maroneze Committed by David Bühler
Browse files

[Kernel] audit mode failure triggers an error

parent bb2b6e51
No related branches found
No related tags found
No related merge requests found
......@@ -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} *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment