Add a version number.

diff --git a/coverity-submit b/coverity-submit
index 57ead575af0eef92410761a3d18022014a0d1f39..1e0d2b6c3e6f7c76681effe9f4ff6c133602cd67 100755 (executable)
--- a/coverity-submit
+++ b/coverity-submit
@@ -6,6 +6,8 @@
 #
 import os, sys, configparser, getopt
 
+version="1.0"
+
 config = configparser.RawConfigParser()
 config.read(os.path.expanduser("~/.coverity-submit"))
 
@@ -87,6 +89,9 @@ def do_or_die(cmd):
             sys.stderr.write("Command failed.\n")
             sys.exit(1)
 
+# Announce self
+print("coverity-submit version %s..." % version)
+
 # Build local stuff
 print("Rebuilding and scanning...")
 if prebuild: