From 00717f0214b3f2f3fbd05848384e33f4e44aa800 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 18 Feb 2020 13:44:59 +0100
Subject: Do not erase native files in debug mode

Being able to inspect the generated OCaml code is a useful debug tool.
It seems this was disabled by mistake in #11081.
---
 kernel/nativelib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelib.ml')

diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml
index dde1274152..494282d4e1 100644
--- a/kernel/nativelib.ml
+++ b/kernel/nativelib.ml
@@ -37,7 +37,7 @@ let ( / ) = Filename.concat
 let my_temp_dir = lazy (CUnix.mktemp_dir "Coq_native" "")
 
 let () = at_exit (fun () ->
-    if Lazy.is_val my_temp_dir then
+    if not !Flags.debug && Lazy.is_val my_temp_dir then
       try
         let d = Lazy.force my_temp_dir in
         Array.iter (fun f -> Sys.remove (Filename.concat d f)) (Sys.readdir d);
-- 
cgit v1.2.3