From: Richard W.M. Jones Date: Mon, 30 Dec 2019 21:41:17 +0000 (+0000) Subject: Change -V to -v for compat with make. X-Git-Tag: v'0.2'~119 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ee7e7f3e46095b24649523ccd91b7e5e4cef990a;p=goals.git Change -V to -v for compat with make. --- diff --git a/src/cmdline.ml b/src/cmdline.ml index 53ab0f9..b7063af 100644 --- a/src/cmdline.ml +++ b/src/cmdline.ml @@ -72,7 +72,7 @@ let input_file, directory, includes, use_prelude, anon_vars, targets = "dir Add include directory"; "--no-prelude",Arg.Clear use_prelude, " Do not automatically use prelude.gl from stdlib"; - "-V", Arg.Unit print_version, + "-v", Arg.Unit print_version, " Print version and exit"; "--version", Arg.Unit print_version, " Print version and exit";