From 5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 13 Feb 2017 15:39:07 +0100 Subject: Introduced configuration variable for gnu systems. The variable gnu_toolchain is true if a gnu toolchain is used and false in all other cases. The variable avoids the explicit test whether the system string is diab and should be easier to change. Bug 20521. --- driver/Assembler.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'driver/Assembler.ml') 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 );] -- cgit