diff options
Diffstat (limited to 'driver/Frontend.ml')
| -rw-r--r-- | driver/Frontend.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Frontend.ml b/driver/Frontend.ml index 41ca3bb8..b4b161b0 100644 --- a/driver/Frontend.ml +++ b/driver/Frontend.ml @@ -125,7 +125,7 @@ let prepro_actions = [ Exact "-Xpreprocessor", String (fun s -> prepro_options := s :: !prepro_options); Exact "-include", String (fun s -> prepro_options := s :: "-include" :: !prepro_options);] - @ (if gnu_system then gnu_prepro_actions else []) + @ (if Configuration.gnu_toolchain then gnu_prepro_actions else []) let gnu_prepro_help = {| -M Ouput a rule suitable for make describing the @@ -163,4 +163,4 @@ let prepro_help = {|Preprocessing options: -Wp,<opt> Pass option <opt> to the preprocessor -Xpreprocessor <opt> Pass option <opt> to the preprocessor |} - ^ (if gnu_system then gnu_prepro_help else "") + ^ (if Configuration.gnu_toolchain then gnu_prepro_help else "") |