diff options
| author | François Bobot <francois.bobot@cea.fr> | 2017-09-15 21:28:59 +0200 |
|---|---|---|
| committer | François Bobot <francois.bobot@cea.fr> | 2017-09-15 21:28:59 +0200 |
| commit | 1343658f5d7dffddc9f1aa33067bd300c39e0000 (patch) | |
| tree | ddb90ea9f5bc450c64ef382a6e3ff1b457af4071 /utils/ccomp.ml | |
| parent | e614ec5964073026aae40ff2a6edfac9209d3a9a (diff) | |
| download | ocaml-1343658f5d7dffddc9f1aa33067bd300c39e0000.tar.gz | |
[OCamlc] use OUTPUTOBJ and move CAML_INTERNAL
in the generated file instead of in the command line
Diffstat (limited to 'utils/ccomp.ml')
| -rw-r--r-- | utils/ccomp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml index 3c00c9f867..204a6de5e9 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -87,7 +87,7 @@ let compile_file ?output ?(opt="") name = then (Config.ocamlopt_cflags, Config.ocamlopt_cppflags) else (Config.ocamlc_cflags, Config.ocamlc_cppflags) in (String.concat " " [Config.c_compiler; cflags; cppflags])) - (match output with | None -> "" | Some o -> "-o " ^ o) + (match output with | None -> "" | Some o -> Printf.sprintf "%s %s" Config.c_output_obj o) opt (if !Clflags.debug && Config.ccomp_type <> "msvc" then "-g" else "") (String.concat " " (List.rev !Clflags.all_ccopts)) |