From 7ec9e50f7439535be13d795c1fb046dc0d8467ff Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 3 Feb 2022 18:51:09 -0500
Subject: [PATCH] perf: make sure to use some decent level of inlining even
 without flambda

---
 src/mkflags.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mkflags.ml b/src/mkflags.ml
index 3c4ffca5..d23ae951 100644
--- a/src/mkflags.ml
+++ b/src/mkflags.ml
@@ -13,7 +13,7 @@ let () =
       if after_4_3 then (
         ["-O3"; "-unbox-closures"; "-unbox-closures-factor"; "20"; "-color"; "always"]
       ) else (
-        []
+        ["-inline"; "100"]
       ) in
     C.Flags.write_sexp "flambda.flags" sexp
   )