From d099918e5c1b3a1b46eac629511842039abbc0fe Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 6 Oct 2012 12:52:04 +0000
Subject: Coqmktop: a misplaced Filename.quote prevented temp file cleanup

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15880 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 503d05883a..230ab75928 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -279,11 +279,13 @@ let main () =
       []
   in
   (* the list of the loaded modules *)
-  let main_file = Filename.quote (create_tmp_main_file modules) in
+  let main_file = create_tmp_main_file modules in
   try
     let args =
-      options @ (includes ()) @ copts @ tolink @ dynlink @ [ main_file ] in
-      (* add topstart.cmo explicitly because we shunted ocamlmktop wrapper *)
+      options @ (includes ()) @ copts @ tolink @ dynlink @
+	[ Filename.quote main_file ]
+    in
+    (* add topstart.cmo explicitly because we shunted ocamlmktop wrapper *)
     let args = if !top then args @ [ "topstart.cmo" ] else args in
       (* Now, with the .cma, we MUST use the -linkall option *)
     let command = String.concat " " (prog::args) in
-- 
cgit v1.2.3