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 /lex | |
| 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 'lex')
| -rw-r--r-- | lex/main.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lex/main.ml b/lex/main.ml index 5540c97285..57b404904c 100644 --- a/lex/main.ml +++ b/lex/main.ml @@ -28,6 +28,11 @@ let print_version_string () = print_string Sys.ocaml_version ; print_newline(); exit 0 +let print_version_num () = + print_endline Sys.ocaml_version; + exit 0; +;; + let specs = ["-ml", Arg.Set ml_automata, " Output code that does not use the Lexing module built-in automata interpreter"; @@ -36,6 +41,7 @@ let specs = "-q", Arg.Set Common.quiet_mode, " Do not display informational messages"; "-v", Arg.Unit print_version_string, " Print version and exit"; "-version", Arg.Unit print_version_string, " Print version and exit"; + "-vnum", Arg.Unit print_version_num, " Print version number and exit"; ] let _ = |