From 2311dd5cdfcf61160ec267235f5cc156985390d1 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Sat, 10 Sep 2016 19:20:20 +0200
Subject: [PATCH] cheap change to the release script

---
 s/release | 16 +---------------
 1 file changed, 1 insertion(+), 15 deletions(-)

diff --git a/s/release b/s/release
index 8855a6206..89b2bd9e9 100755
--- a/s/release
+++ b/s/release
@@ -3,22 +3,8 @@
 import os
 import sys
 
-print("This script uses buildno.h, which is deprecated\nExiting.\n")
-sys.exit(1)
-
-template="""#define VERSION_MAJOR %s
-#define VERSION_MINOR %s
-#define VERSION_BUILD %s
-"""
-
 def new_version(ver):
-    sp = ver.split(".")
-    sp = (sp[0], sp[1], sp[2])
-    file = open("src/buildno.h", "w")
-    file.write(template % sp)
-    file.close()
-    os.system("git add src/buildno.h")
-    os.system("git commit -m 'release version %s'" % ver)
     os.system("git tag -f v%s" % ver)
+    os.system("git push --tags")
 
 new_version(sys.argv[1])