diff options
Diffstat (limited to 'byterun/startup.c')
| -rw-r--r-- | byterun/startup.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/byterun/startup.c b/byterun/startup.c index f954e3ee52..b69c04f220 100644 --- a/byterun/startup.c +++ b/byterun/startup.c @@ -249,6 +249,9 @@ static int parse_command_line(char **argv) if (!strcmp (argv[i], "-version")){ printf ("The Objective Caml runtime, version " OCAML_VERSION "\n"); exit (0); + }else if (!strcmp (argv[i], "-vnum")){ + printf (OCAML_VERSION "\n"); + exit (0); }else{ caml_verb_gc = 0x001+0x004+0x008+0x010+0x020; } |