diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-05-25 17:39:27 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-05-25 17:39:27 +0200 |
commit | dd6606900e071923ed983863e42367fcc7bf11d2 (patch) | |
tree | 9b94e3027b9146164e047c59b54b1b4eb9cef9db /driver | |
parent | dea8e684f95315e0c8801ed08b1c3700720a53dd (diff) | |
download | ocaml-dd6606900e071923ed983863e42367fcc7bf11d2.tar.gz |
Make sure ocamlopt recognizes the -cmi-file command-line option
Before this commit, the -cmi-file option was recognized only by ocamlc.
This commit makes sure the option is also recognized by ocamlopt.
Diffstat (limited to 'driver')
-rw-r--r-- | driver/main_args.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index f0b06b9636..667158503b 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -1185,6 +1185,7 @@ struct mk_cc F._cc; mk_cclib F._cclib; mk_ccopt F._ccopt; + mk_cmi_file F._cmi_file; mk_clambda_checks F._clambda_checks; mk_classic_inlining F._classic_inlining; mk_color F._color; |