Skip to content

Commit

Permalink
Keep same signature with or without -D fail-fast
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Mar 18, 2024
1 parent a26d011 commit 2e8671f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/core/define.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 2e8671f

Please sign in to comment.