diff options
| -rw-r--r-- | tools/ocamlmktop.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/ocamlmktop.ml b/tools/ocamlmktop.ml index 91179c4e9..3d353a8f5 100644 --- a/tools/ocamlmktop.ml +++ b/tools/ocamlmktop.ml @@ -13,7 +13,5 @@ (* $Id$ *) let _ = - let args = - String.concat " " - (List.map Filename.quote (List.tl (Array.to_list Sys.argv))) in + let args = Ccomp.quote_files (List.tl (Array.to_list Sys.argv)) in exit(Sys.command("ocamlc -linkall toplevellib.cma " ^ args ^ " topstart.cmo")) |