Skip to content

Commit 84d43e7

Browse files
committed
Add ignored flags
1 parent 726435e commit 84d43e7

File tree

1 file changed

+13
-2
lines changed

1 file changed

+13
-2
lines changed

src/kernel/mconfig.ml

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -630,7 +630,9 @@ let ocaml_ignored_flags =
630630
"-cfg-prologue-validate";
631631
"-no-cfg-prologue-validate";
632632
"-cfg-prologue-shrink-wrap";
633-
"-no-cfg-prologue-shrink-wrap"
633+
"-no-cfg-prologue-shrink-wrap";
634+
"-gdwarf-pedantic";
635+
"-ddwarf-metrics"
634636
]
635637

636638
let ocaml_ignored_parametrized_flags =
@@ -710,7 +712,16 @@ let ocaml_ignored_parametrized_flags =
710712
"-shape-format";
711713
"-gdwarf-compression";
712714
"-gdwarf-fission";
713-
"-cfg-prologue-shrink-wrap-threshold"
715+
"-cfg-prologue-shrink-wrap-threshold";
716+
"-gdwarf-config-shape-reduce-depth";
717+
"-gdwarf-config-shape-eval-depth";
718+
"-gdwarf-config-max-cms-files-per-unit";
719+
"-gdwarf-config-max-cms-files-per-variable";
720+
"-gdwarf-config-max-type-to-shape-depth";
721+
"-gdwarf-config-max-shape-reduce-steps-per-variable";
722+
"-gdwarf-config-max-evaluation-steps-per-variable";
723+
"-gdwarf-config-shape-reduce-fuel";
724+
"-gdwarf-fidelity"
714725
]
715726

716727
let ocaml_warnings_spec ~error =

0 commit comments

Comments
 (0)