diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 16:12:37 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 16:12:37 +0200 |
| commit | c52ce2f847f368391c36166aebe76515b02f7c7c (patch) | |
| tree | d5fbf241a29e4b684780a9824538a3ba546f9922 | |
| parent | fa4dc466bbb9848895e51145a67b5f06b4e7e204 (diff) | |
| download | compcert-c52ce2f847f368391c36166aebe76515b02f7c7c.tar.gz compcert-c52ce2f847f368391c36166aebe76515b02f7c7c.zip | |
Also add braces for arm. Bug 19197
| -rw-r--r-- | driver/Driver.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 3e327437..7311215d 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -415,10 +415,10 @@ let cmdline_actions = (* Target processor options *) Exact "-conf", String (fun _ -> ()); (* Ignore option since it is already handled *) Exact "-target", String (fun _ -> ());] @ (* Ignore option since it is already handled *) - if Configuration.arch = "arm" then + (if Configuration.arch = "arm" then [ Exact "-mthumb", Set option_mthumb; Exact "-marm", Unset option_mthumb; ] - else [] @ + else []) @ (* Assembling options *) assembler_actions @ (* Linking options *) |