Skip to content

Commit 621d8c1

Browse files
committed
Add params to ignore
1 parent 79107c6 commit 621d8c1

File tree

1 file changed

+10
-2
lines changed

1 file changed

+10
-2
lines changed

src/kernel/mconfig.ml

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -614,7 +614,14 @@ let ocaml_ignored_flags =
614614
"-dvectorize";
615615
"-dump-into-csv";
616616
"-cfg-selection";
617-
"-no-cfg-selection"
617+
"-no-cfg-selection";
618+
"-no-mach-ir";
619+
"-flambda2-reaper";
620+
"-no-flambda2-reaper";
621+
"-dsimplify";
622+
"-dreaper";
623+
"-instantiate";
624+
"-dflambda-heavy-invariants"
618625
]
619626

620627
let ocaml_ignored_parametrized_flags =
@@ -682,7 +689,8 @@ let ocaml_ignored_parametrized_flags =
682689
"-cfg-stack-checks-threshold";
683690
"-zero-alloc-checker-details-cutoff";
684691
"-zero-alloc-checker-join";
685-
"-dgranularity"
692+
"-dgranularity";
693+
"-flambda2-expert-cont-lifting-budget"
686694
]
687695

688696
let ocaml_warnings_spec ~error =

0 commit comments

Comments
 (0)