Skip to content

Commit 4ef46b9

Browse files
authored
Ignore llvm flags (#192)
1 parent ef642fd commit 4ef46b9

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

src/kernel/mconfig.ml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -624,7 +624,8 @@ let ocaml_ignored_flags =
624624
"-fno-avx";
625625
"-dllvmir";
626626
"-keep-llvmir";
627-
"-llvm-path";
627+
"-llvm-backend";
628+
"-no-llvm-backend";
628629
"-ddwarf-types";
629630
"-ocamlcfg";
630631
"-cfg-prologue-validate";
@@ -721,7 +722,8 @@ let ocaml_ignored_parametrized_flags =
721722
"-gdwarf-config-max-shape-reduce-steps-per-variable";
722723
"-gdwarf-config-max-evaluation-steps-per-variable";
723724
"-gdwarf-config-shape-reduce-fuel";
724-
"-gdwarf-fidelity"
725+
"-gdwarf-fidelity";
726+
"-llvm-path"
725727
]
726728

727729
let ocaml_warnings_spec ~error =

0 commit comments

Comments
 (0)