diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-02-15 11:46:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-15 11:46:17 +0100 |
commit | 1aee802bf438fff7a83dec4607cabefdc398c3de (patch) | |
tree | e8e341b656c5e8ea6f61226878ad5dd1ee0e5082 /driver/Assembler.ml | |
parent | 53479577c06db853f48cf9927b5039507436be45 (diff) | |
parent | 5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb (diff) | |
download | compcert-1aee802bf438fff7a83dec4607cabefdc398c3de.tar.gz compcert-1aee802bf438fff7a83dec4607cabefdc398c3de.zip |
Merge pull request #167 from AbsInt/pipe_prerequisite
Introduced configuration variable for gnu systems.
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 );] |