# HG changeset patch
# User Chris Cannam
# Date 1541067531 0
# Node ID 943e52e03cdefce438eed7d16f34b86bf7fd434c
# Parent  fc17db201a86182d22b4576de0e352d26cb14da5
... or -v

diff -r fc17db201a86 -r 943e52e03cde main/main.cpp
--- a/main/main.cpp	Thu Nov 01 10:18:13 2018 +0000
+++ b/main/main.cpp	Thu Nov 01 10:18:51 2018 +0000
@@ -266,7 +266,7 @@
         exit(2);
     }
 
-    if (args.contains("--version")) {
+    if (args.contains("--version") || args.contains("-v")) {
         cerr << SV_VERSION << endl;
         exit(0);
     }