summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-05-25 17:39:27 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-05-25 17:39:27 +0200
commitdd6606900e071923ed983863e42367fcc7bf11d2 (patch)
tree9b94e3027b9146164e047c59b54b1b4eb9cef9db /driver
parentdea8e684f95315e0c8801ed08b1c3700720a53dd (diff)
downloadocaml-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.ml1
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;