diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-11 00:17:05 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-11 00:17:05 +0000 |
| commit | ccce2729666c4df6a1a7e5b92addb7b81d67dd23 (patch) | |
| tree | 0cb546d5713db6e1fad031c12d084dfa05c9fc1e /tools | |
| parent | fc8c7778250119e7be7df329929861ef6b77b55f (diff) | |
| download | ocaml-ccce2729666c4df6a1a7e5b92addb7b81d67dd23.tar.gz | |
commit o_and_opens.diff
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ocamlcp.ml | 1 | ||||
| -rw-r--r-- | tools/ocamloptp.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index fc148a4f2f..4b60e96b65 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -71,6 +71,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _noautolink = option "-noautolink" let _nostdlib = option "-nostdlib" let _o s = option_with_arg "-o" s + let _open s = option_with_arg "-open" s let _output_obj = option "-output-obj" let _pack = option "-pack" let _pp s = incompatible "-pp" diff --git a/tools/ocamloptp.ml b/tools/ocamloptp.ml index b530fa3c80..842651a135 100644 --- a/tools/ocamloptp.ml +++ b/tools/ocamloptp.ml @@ -73,6 +73,7 @@ module Options = Main_args.Make_optcomp_options (struct let _nolabels = option "-nolabels" let _nostdlib = option "-nostdlib" let _o s = option_with_arg "-o" s + let _open s = option_with_arg "-open" s let _output_obj = option "-output-obj" let _p = option "-p" let _pack = option "-pack" |