diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 13:57:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-24 13:57:27 +0200 |
commit | 410a5db3d48e84f2157c2c4f4bc29056c0e174b9 (patch) | |
tree | 800974ebbe73921f27c0c563e56eb0c899efd7f5 /driver/Frontend.ml | |
parent | 01354123b9df5d3cbb9d43298eea94ddda30acdf (diff) | |
download | compcert-410a5db3d48e84f2157c2c4f4bc29056c0e174b9.tar.gz compcert-410a5db3d48e84f2157c2c4f4bc29056c0e174b9.zip |
Moved assembler and linker into own files.
The function to call the assembler and the linker are now in own
files like the preprocessor.
Bug 19197
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 00387a05..043d4e5a 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 Configuration.system <> "diab" then gnu_prepro_actions else []) + @ (if gnu_system then gnu_prepro_actions else []) let gnu_prepro_help = "\ -M Ouput a rule suitable for make describing the\n\ @@ -161,4 +161,4 @@ let prepro_help = "Preprocessing options:\n\ \ -U<symb> Undefine preprocessor symbol\n\ \ -Wp,<opt> Pass option <opt> to the preprocessor\n\ \ -Xpreprocessor <opt> Pass option <opt> to the preprocessor\n" - ^ (if Configuration.system <> "diab" then gnu_prepro_help else "") + ^ (if gnu_system then gnu_prepro_help else "") |