From ee7e7f3e46095b24649523ccd91b7e5e4cef990a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 30 Dec 2019 21:41:17 +0000 Subject: [PATCH] Change -V to -v for compat with make. --- src/cmdline.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"; -- 1.8.3.1