From: Richard W.M. Jones <rjones@redhat.com>
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;hp=ce72c651658e7eb53f5c6002d572349571ff33a4;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";