From 4d07346d3d0604ec74add6116f3f23f62842eab7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 21 Sep 2020 10:23:56 +0200
Subject: [PATCH] [Kernel] minor fixes after review
---
src/kernel_services/cmdline_parameters/cmdline.mli | 2 +-
src/kernel_services/plugin_entry_points/kernel.ml | 4 ++++
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/cmdline_parameters/cmdline.mli b/src/kernel_services/cmdline_parameters/cmdline.mli
index 8162a9f0030..0d90e2d6dbe 100644
--- a/src/kernel_services/cmdline_parameters/cmdline.mli
+++ b/src/kernel_services/cmdline_parameters/cmdline.mli
@@ -399,7 +399,7 @@ val deterministic: bool
val permissive: bool
(** Downgrades some command-line errors to warnings, such as
unknown option names and invalid values for some options
- (e.g. inexistent function names).
+ (e.g. non-existent function names).
@since Frama-C+dev *)
diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index 869402e01d9..83c199a92dc 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -1639,6 +1639,7 @@ let () =
let checks = add_group "Checks"
let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
let () = Parameter_customize.do_not_reset_on_copy ()
module Check =
False(struct
@@ -1649,6 +1650,7 @@ module Check =
end)
let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
module Copy =
False(struct
let option_name = "-copy"
@@ -1658,6 +1660,7 @@ module Copy =
end)
let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
let () = Parameter_customize.set_negative_option_name ""
module TypeCheck =
True(struct
@@ -1710,6 +1713,7 @@ module Deterministic =
end)
let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
let () = Parameter_customize.set_negative_option_name ""
let () = Parameter_customize.set_cmdline_stage Cmdline.Early
module Permissive =
--
GitLab