diff options
| -rw-r--r-- | bytecomp/bytelink.ml | 3 | ||||
| -rw-r--r-- | driver/optcompile.ml | 3 | ||||
| -rw-r--r-- | utils/ccomp.ml | 4 |
3 files changed, 7 insertions, 3 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index bc9779908..0e615c8da 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -580,7 +580,8 @@ let link ppf objfiles output_name = link_bytecode_as_c ppf tolink c_file; if not (Filename.check_suffix output_name ".c") then begin temps := c_file :: !temps; - if Ccomp.compile_file ~output_name:(Some obj_file) c_file <> 0 then raise(Error Custom_runtime); + if Ccomp.compile_file ~output_name:(Some obj_file) c_file <> 0 then + raise(Error Custom_runtime); if not (Filename.check_suffix output_name Config.ext_obj) then begin temps := obj_file :: !temps; if not ( diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 9a0f703f2..7ce3d8687 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -100,4 +100,5 @@ let implementation ppf sourcefile outputprefix = raise x let c_file name = - if Ccomp.compile_file ~output_name:!Clflags.output_name name <> 0 then exit 2 + let output_name = !Clflags.output_name in + if Ccomp.compile_file ~output_name name <> 0 then exit 2 diff --git a/utils/ccomp.ml b/utils/ccomp.ml index a1c45ec02..7da604b56 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -58,7 +58,9 @@ let compile_file ~output_name name = if !Clflags.native_code then Config.native_c_compiler else Config.bytecomp_c_compiler) - (match output_name with Some n -> " -o " ^ Filename.quote n | None -> "") + (match output_name with + | Some n -> " -o " ^ Filename.quote n + | None -> "") (String.concat " " (List.rev !Clflags.all_ccopts)) (quote_prefixed "-I" (List.rev !Clflags.include_dirs)) (Clflags.std_include_flag "-I") |