From 2e8671f1d0ec3682ff1bf72f8aa154138797bbb2 Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Mon, 18 Mar 2024 08:02:02 +0100 Subject: [PATCH] Keep same signature with or without -D fail-fast --- src/core/define.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/define.ml b/src/core/define.ml index d71055df6d4..0071440c373 100644 --- a/src/core/define.ml +++ b/src/core/define.ml @@ -152,7 +152,7 @@ let get_signature def = Parser.parse_macro_ident as well (issue #5682). Note that we should removed flags like use_rtti_doc here. *) - | "display" | "use_rtti_doc" | "macro_times" | "display_details" | "no_copt" | "display_stdin" | "hxb.stats" + | "display" | "use_rtti_doc" | "macro_times" | "display_details" | "no_copt" | "display_stdin" | "hxb.stats" | "fail_fast" | "message.reporting" | "message.log_file" | "message.log_format" | "message.no_color" | "dump" | "dump_dependencies" | "dump_ignore_var_ids" -> acc | _ -> (k ^ "=" ^ v) :: acc