diff options
Diffstat (limited to 'py/makeversionhdr.py')
| -rw-r--r-- | py/makeversionhdr.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/py/makeversionhdr.py b/py/makeversionhdr.py index 9c7f26822..30995f937 100644 --- a/py/makeversionhdr.py +++ b/py/makeversionhdr.py @@ -54,8 +54,8 @@ def get_version_info_from_git(): def get_version_info_from_docs_conf(): with open(os.path.join(os.path.dirname(sys.argv[0]), "..", "docs", "conf.py")) as f: for line in f: - if line.startswith("release = '"): - ver = line.strip()[10:].strip("'") + if line.startswith("version = release = '"): + ver = line.strip().split(" = ")[2].strip("'") git_tag = "v" + ver ver = ver.split(".") if len(ver) == 2: @@ -87,7 +87,7 @@ def make_version_header(filename): #define MICROPY_VERSION_MICRO (%s) #define MICROPY_VERSION_STRING "%s" """ % (git_tag, git_hash, datetime.date.today().strftime("%Y-%m-%d"), - ver[0], ver[1], ver[2], version_string) + ver[0].replace('v', ''), ver[1], ver[2], version_string) # Check if the file contents changed from last time write_file = True |