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])