diff options
| author | Damien George <damien@micropython.org> | 2023-03-10 18:39:14 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-03-10 18:39:14 +1100 |
| commit | 668a7bd28a49980b239fd7666684885382526988 (patch) | |
| tree | 681aad9d2792c0cd2f479ad75a7d40d4a00fb3c9 /py | |
| parent | 4376c969f6f185ffe34041d1914246f74beded9d (diff) | |
py/makeversionhdr.py: Always add micro to version string even if it's 0.
Moving forward, tags in this repository will always have three components.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py')
| -rw-r--r-- | py/makeversionhdr.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/py/makeversionhdr.py b/py/makeversionhdr.py index 58c4421c5..e682a4e13 100644 --- a/py/makeversionhdr.py +++ b/py/makeversionhdr.py @@ -78,9 +78,7 @@ def get_version_info_from_mpconfig(repo_path): ver_minor = int(line.strip().split()[2]) elif line.startswith("#define MICROPY_VERSION_MICRO "): ver_micro = int(line.strip().split()[2]) - git_tag = "v%d.%d" % (ver_major, ver_minor) - if ver_micro != 0: - git_tag += ".%d" % (ver_micro,) + git_tag = "v%d.%d.%d" % (ver_major, ver_minor, ver_micro) return git_tag, "<no hash>" return None |