diff options
| author | Greta Yorsh <gyorsh@janestreet.com> | 2019-09-25 16:53:52 +0100 |
|---|---|---|
| committer | Greta Yorsh <gyorsh@janestreet.com> | 2019-10-15 13:12:52 +0100 |
| commit | ddcea81aa3a8d4af3273f0b7fb9fe0dfa3f96c45 (patch) | |
| tree | 0a519cb2f6001bdfdb96b9a353db50e3b3fb18a3 /driver | |
| parent | 01bdd5bbc4e48d397b3f68940bcc3955a2754e82 (diff) | |
| download | ocaml-ddcea81aa3a8d4af3273f0b7fb9fe0dfa3f96c45.tar.gz | |
Fix check for incompatible -c and -o options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml index 4d5f63e5d9..90f42d8ced 100644 --- a/driver/compenv.ml +++ b/driver/compenv.ml @@ -661,7 +661,7 @@ let process_deferred_actions env = if List.length (List.filter (function | ProcessImplementation _ - | ProcessInterface _ + | ProcessInterface _ -> true | _ -> false) !deferred_actions) > 1 then fatal "Options -c -o are incompatible with compiling multiple files" end; |