From 381d957b4d1439b0d6da8ef4d118945f88381e4c Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Wed, 23 Dec 2015 12:12:17 +0100 Subject: add options for include paths also to the command line of the assembler, bug 17838 --- driver/Driver.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index db3031b4..8509e84a 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -533,8 +533,10 @@ let cmdline_actions = Prefix "-o", Self (fun s -> let s = String.sub s 2 ((String.length s) - 2) in option_o := Some s); (* Preprocessing options *) - Exact "-I", String(fun s -> prepro_options := s :: "-I" :: !prepro_options); - Prefix "-I", Self(fun s -> prepro_options := s :: !prepro_options); + Exact "-I", String(fun s -> prepro_options := s :: "-I" :: !prepro_options; + assembler_options := s :: "-I" :: !assembler_options); + Prefix "-I", Self(fun s -> prepro_options := s :: !prepro_options; + assembler_options := s :: !assembler_options); Exact "-D", String(fun s -> prepro_options := s :: "-D" :: !prepro_options); Prefix "-D", Self(fun s -> prepro_options := s :: !prepro_options); Exact "-U", String(fun s -> prepro_options := s :: "-U" :: !prepro_options); -- cgit