diff options
author | William S Fulton <wsf@fultondesigns.co.uk> | 2020-06-23 19:18:58 +0100 |
---|---|---|
committer | William S Fulton <wsf@fultondesigns.co.uk> | 2020-06-23 19:18:58 +0100 |
commit | d967e4c8b8c9b243c472c359fb70bba2136a7d84 (patch) | |
tree | fc4f2c8cc8df40d87019b4b5e55dc8288d0b05e3 | |
parent | ce4164b66d11bc7a4e58065d3f7196295caad48a (diff) | |
download | swig-d967e4c8b8c9b243c472c359fb70bba2136a7d84.tar.gz |
Use conventional 'v' prefix for release tagging
See semantic versioning:
https://semver.org/spec/v2.0.0.html
Closes #1825
-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) |