diff options
Diffstat (limited to 'Tools/mkdist.py')
| -rwxr-xr-x | Tools/mkdist.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/mkdist.py b/Tools/mkdist.py index 47cf8e765..7116144a0 100755 --- a/Tools/mkdist.py +++ b/Tools/mkdist.py @@ -73,9 +73,9 @@ if not skip_checks: sys.exit(3) print("Tagging release") -tag = "'rel-" + version + "'" +tag = "'v" + version + "'" force = "-f " if force_tag else "" -os.system("git tag -a -m " + tag + " " + force + tag) == 0 or failed() +os.system("git tag -a -m 'Release version " + version + "' " + force + tag) == 0 or failed() outdir = os.path.basename(os.getcwd()) + "/" + dirname + "/" print("Grabbing tagged release git repository using 'git archive' into " + outdir) |