diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 14:56:45 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 14:56:45 +0200 |
| commit | fa4dc466bbb9848895e51145a67b5f06b4e7e204 (patch) | |
| tree | 15df2084d3c2ed4344315e5309df3ee976842718 /driver/Linker.ml | |
| parent | 410a5db3d48e84f2157c2c4f4bc29056c0e174b9 (diff) | |
| download | compcert-kvx-fa4dc466bbb9848895e51145a67b5f06b4e7e204.tar.gz compcert-kvx-fa4dc466bbb9848895e51145a67b5f06b4e7e204.zip | |
Added braces back. Bug 19197
Diffstat (limited to 'driver/Linker.ml')
| -rw-r--r-- | driver/Linker.ml | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/driver/Linker.ml b/driver/Linker.ml index 501a2ae3..2f767023 100644 --- a/driver/Linker.ml +++ b/driver/Linker.ml @@ -60,22 +60,22 @@ let linker_help = let linker_actions = [ Prefix "-l", Self push_linker_arg; Prefix "-L", Self push_linker_arg; ] @ - if gnu_system then + (if gnu_system then [ Exact "-nostartfiles", Self push_linker_arg; Exact "-nodefaultlibs", Self push_linker_arg; Exact "-nostdlib", Self push_linker_arg;] - else [] @ - [ Exact "-s", Self push_linker_arg; - Exact "-static", Self push_linker_arg; - Exact "-T", String (fun s -> if gnu_system then begin - push_linker_arg ("-T"); - push_linker_arg(s) - end else - push_linker_arg ("-Wm"^s)); - Exact "-Xlinker", String (fun s -> if Configuration.system = "diab" then - push_linker_arg ("-Wl,"^s) - else - push_linker_arg s); - Prefix "-Wl,", Self push_linker_arg; - Prefix "-WUl,", Self (fun s -> List.iter push_linker_arg (explode_comma_option s)); - Exact "-u", Self push_linker_arg;] + else []) @ + [ Exact "-s", Self push_linker_arg; + Exact "-static", Self push_linker_arg; + Exact "-T", String (fun s -> if gnu_system then begin + push_linker_arg ("-T"); + push_linker_arg(s) + end else + push_linker_arg ("-Wm"^s)); + Exact "-Xlinker", String (fun s -> if Configuration.system = "diab" then + push_linker_arg ("-Wl,"^s) + else + push_linker_arg s); + Prefix "-Wl,", Self push_linker_arg; + Prefix "-WUl,", Self (fun s -> List.iter push_linker_arg (explode_comma_option s)); + Exact "-u", Self push_linker_arg;] |