diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2010-05-20 14:06:29 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2010-05-20 14:06:29 +0000 |
| commit | 3bba52b91c2235d7b3ddd31eb70ed57cffa499ab (patch) | |
| tree | 4f4f44b2143edbed47c4d7b3bac6a0e7f0af73fc /driver/main_args.mli | |
| parent | 9ee820de2ca9ee1f1730b3ae976518ca4379785e (diff) | |
| download | ocaml-3bba52b91c2235d7b3ddd31eb70ed57cffa499ab.tar.gz | |
PR#4857: add -vnum option to all executables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/main_args.mli')
| -rw-r--r-- | driver/main_args.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/driver/main_args.mli b/driver/main_args.mli index e0a7e2fa96..1c4abf5097 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -51,6 +51,7 @@ module type Bytecomp_options = val _use_runtime : string -> unit val _v : unit -> unit val _version : unit -> unit + val _vnum : unit -> unit val _verbose : unit -> unit val _w : string -> unit val _warn_error : string -> unit @@ -82,6 +83,7 @@ module type Bytetop_options = sig val _strict_sequence : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit + val _vnum : unit -> unit val _w : string -> unit val _warn_error : string -> unit val _warn_help : unit -> unit @@ -133,6 +135,7 @@ module type Optcomp_options = sig val _unsafe : unit -> unit val _v : unit -> unit val _version : unit -> unit + val _vnum : unit -> unit val _verbose : unit -> unit val _w : string -> unit val _warn_error : string -> unit @@ -177,6 +180,7 @@ module type Opttop_options = sig val _S : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit + val _vnum : unit -> unit val _w : string -> unit val _warn_error : string -> unit val _warn_help : unit -> unit |