summaryrefslogtreecommitdiff
path: root/tools/ocamlcp.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ocamlcp.ml')
-rw-r--r--tools/ocamlcp.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml
index 7615d46863..c3d9fe272a 100644
--- a/tools/ocamlcp.ml
+++ b/tools/ocamlcp.ml
@@ -39,6 +39,7 @@ module Options = Main_args.Make_options (struct
let _cclib s = option_with_arg "-cclib" s
let _ccopt s = option_with_arg "-ccopt" s
let _custom = option "-custom"
+ let _dllib = option_with_arg "-dllib"
let _dllpath = option_with_arg "-dllpath"
let _g = option "-g"
let _i = option "-i"