Ignore new flags for 4.14.1-22

janestreet · Oct 13, 2023 · 279ae6c · 279ae6c
1 parent e207ca9
commit 279ae6c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/kernel/mconfig.ml b/src/kernel/mconfig.ml
@@ -453,6 +453,8 @@ let ocaml_ignored_flags = [
   "-zero-alloc-check";
   "-checkmach-details-cutoff";
   "-use-cached-generic-functions";
+  "-flambda2-expert-shorten-symbol-names";
+  "-no-flambda2-expert-shorten-symbol-names";
 
   (* Jane Street specific *)
   "-disable-poll-insertion";