From d3601e3e0f8593221ae5894aa28240d2bdd7df3a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 21 Jan 2025 18:33:28 +0100
Subject: [PATCH] [debug] use more precise pp:keep-temp-file for keeping
 __fc_machdep.h

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

diff --git a/src/kernel_internals/runtime/machdep.ml b/src/kernel_internals/runtime/machdep.ml
index 08f7566302..b2b92a3ddc 100644
--- a/src/kernel_internals/runtime/machdep.ml
+++ b/src/kernel_internals/runtime/machdep.ml
@@ -613,7 +613,7 @@ let gen_all_defines fmt ?(censored_macros=Datatype.String.Set.empty) mach =
   Format.fprintf fmt "#endif // __FC_MACHDEP@\n"
 
 let generate_machdep_header ?censored_macros mach =
-  let debug = Kernel.(is_debug_key_enabled dkey_pp) in
+  let debug = Kernel.(is_debug_key_enabled dkey_pp_keep_temp_files) in
   let temp = Extlib.temp_dir_cleanup_at_exit ~debug "__fc_machdep" in
   let file = Filepath.Normalized.concat temp "__fc_machdep.h" in
   let chan = open_out (file:>string) in
-- 
GitLab