diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-03-24 15:27:01 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-03-24 15:27:01 +0000 |
| commit | 21f148b6643c48a47f6f8628b0a82642f8e7131a (patch) | |
| tree | 1ab5956602507291ee39658711527f8f88ce8076 | |
| parent | 14e7582e8dabae96f61dff648159d9ba3d45d9bc (diff) | |
Utilisation de Ccomp.quote_files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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")) |