Skip to content
Snippets Groups Projects
Commit d3601e3e authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[debug] use more precise pp:keep-temp-file for keeping __fc_machdep.h

parent fb0751f7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/runtime/machdep.ml
+ 1
− 1
View file @ d3601e3e
...@@ -613,7 +613,7 @@ let gen_all_defines fmt ?(censored_macros=Datatype.String.Set.empty) mach = ...@@ -613,7 +613,7 @@ let gen_all_defines fmt ?(censored_macros=Datatype.String.Set.empty) mach =
Format.fprintf fmt "#endif // __FC_MACHDEP@\n" Format.fprintf fmt "#endif // __FC_MACHDEP@\n"
let generate_machdep_header ?censored_macros mach = 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 temp = Extlib.temp_dir_cleanup_at_exit ~debug "__fc_machdep" in
let file = Filepath.Normalized.concat temp "__fc_machdep.h" in let file = Filepath.Normalized.concat temp "__fc_machdep.h" in
let chan = open_out (file:>string) in let chan = open_out (file:>string) in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment