diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-28 20:18:27 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-28 20:18:27 +0100 |
commit | 070adbfa6fbddee552e689bbee4bf76fa4bf770a (patch) | |
tree | 5cf55c2c77af455ae4d2831f9c913d28668ba5c6 | |
parent | 7540d6eabadbef888fbe4a3dda7b9910094fa05e (diff) | |
parent | 381d957b4d1439b0d6da8ef4d118945f88381e4c (diff) | |
download | compcert-070adbfa6fbddee552e689bbee4bf76fa4bf770a.tar.gz compcert-070adbfa6fbddee552e689bbee4bf76fa4bf770a.zip |
Merge branch 'master' of ssh://ssh.absint.com/common/repositories/git/tools/compcert
-rw-r--r-- | driver/Driver.ml | 6 |
1 files changed, 4 insertions, 2 deletions
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); |