diff options
Diffstat (limited to 'tools/ocamlcp.ml')
| -rw-r--r-- | tools/ocamlcp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index e9c6c05990..8f09cc1344 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -45,6 +45,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _a () = make_archive := true; option "-a" () let _absname = option "-absname" let _annot = option "-annot" + let _binannot = option "-bin-annot" let _c = option "-c" let _cc s = option_with_arg "-cc" s let _cclib s = option_with_arg "-cclib" s |