diff options
-rw-r--r-- | Changes | 2 | ||||
-rw-r--r-- | driver/main_args.ml | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -206,7 +206,7 @@ Working version invariant checks are enabled. (Vincent Laviron, review by Gabriel Scherer) -- #10981: Implement a -cmi-file option for ocamlc and ocamlopt. +- #10981, #11276: Implement a -cmi-file option for ocamlc and ocamlopt. (Sébastien Hinderer, review by Damien Doligez, Daniel Bünzli and Florian Angeletti) 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; |