diff options
Diffstat (limited to 'driver/Linker.ml')
-rw-r--r-- | driver/Linker.ml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/driver/Linker.ml b/driver/Linker.ml index 14c9bcb3..305c5603 100644 --- a/driver/Linker.ml +++ b/driver/Linker.ml @@ -19,19 +19,14 @@ open Driveraux (* Linking *) let linker exe_name files = - let cmd,opts = match Configuration.linker with - | name::opts -> name,opts - | [] -> assert false (* Should be catched in Configuration *) in - let opts = List.concat [ - opts; + let cmd = List.concat [ + Configuration.linker; ["-o"; exe_name]; files; (if Configuration.has_runtime_lib then ["-L" ^ !stdlib_path; "-lcompcert"] else []) ] in - let opts = responsefile opts (fun a -> if gnu_system then ["@"^a] else ["-@"^a]) in - let cmd = cmd::opts in let exc = command cmd in if exc <> 0 then begin command_error "linker" exc; |