diff options
Diffstat (limited to 'driver/Configuration.ml')
-rw-r--r-- | driver/Configuration.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/Configuration.ml b/driver/Configuration.ml index 58583330..48f8abde 100644 --- a/driver/Configuration.ml +++ b/driver/Configuration.ml @@ -184,3 +184,5 @@ let response_file_style = | v -> bad_config "response_file_style" [v] let gnu_toolchain = system <> "diab" + +let elf_target = system <> "macosx" && system <> "cygwin" |