diff options
Diffstat (limited to 'driver/Assembler.ml')
| -rw-r--r-- | driver/Assembler.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Assembler.ml b/driver/Assembler.ml index 1d91ef50..ba9351ca 100644 --- a/driver/Assembler.ml +++ b/driver/Assembler.ml @@ -32,11 +32,11 @@ let assemble ifile ofile = end let assembler_actions = - [ Prefix "-Wa,", Self (fun s -> if gnu_system then + [ Prefix "-Wa,", Self (fun s -> if Configuration.gnu_toolchain then assembler_options := s :: !assembler_options else assembler_options := List.rev_append (explode_comma_option s) !assembler_options); - Exact "-Xassembler", String (fun s -> if gnu_system then + Exact "-Xassembler", String (fun s -> if Configuration.gnu_toolchain then assembler_options := s::"-Xassembler":: !assembler_options else assembler_options := s::!assembler_options );] |