change the release naming scheme

2015-09-12 15:42:03 +02:00 · 2015-09-12 15:42:03 +02:00 · 864454877e
parent c704cd5784
commit 864454877e
1 changed files with 1 additions and 1 deletions
--- a/s/release
+++ b/s/release
@ -16,6 +16,6 @@ def new_version(ver):
    file.close()
    os.system("git add src/buildno.h")
    os.system("git commit -m 'release version %s'" % ver)
-    os.system("git tag -f version-%s" % ver)
+    os.system("git tag -f v%s" % ver)

 new_version(sys.argv[1])