From 279ae6c7d21fccb3a7eb41ff1c2368554241c9ac Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <reisenberg@janestreet.com>
Date: Fri, 13 Oct 2023 18:11:57 +0100
Subject: [PATCH] Ignore new flags for 4.14.1-22

---
 src/kernel/mconfig.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/kernel/mconfig.ml b/src/kernel/mconfig.ml
index 337987554..bd0cc27de 100644
--- 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";