Skip to content

Commit e2c59c1

Browse files
committed
Add flags to ignore
1 parent 23201d1 commit e2c59c1

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/kernel/mconfig.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -690,7 +690,8 @@ let ocaml_ignored_parametrized_flags =
690690
"-zero-alloc-checker-details-cutoff";
691691
"-zero-alloc-checker-join";
692692
"-dgranularity";
693-
"-flambda2-expert-cont-lifting-budget"
693+
"-flambda2-expert-cont-lifting-budget";
694+
"-vectorize-max-block-size";
694695
]
695696

696697
let ocaml_warnings_spec ~error =

0 commit comments

Comments
 (0)