diff options
Diffstat (limited to 'tools/make_release.py')
| -rwxr-xr-x | tools/make_release.py | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/tools/make_release.py b/tools/make_release.py index c1caf3300..71c1e6f64 100755 --- a/tools/make_release.py +++ b/tools/make_release.py @@ -1,8 +1,9 @@ #!/usr/bin/env python3 import re import gen_doc +import gen_presets -version = '0.18.0' +version = '0.20.0' print('version {}'.format(version)) ver_id = version.split('.') @@ -45,9 +46,24 @@ with open(f_library_json, 'w') as f: f.write(fdata) ################### -# docs/info/changelog.rst +# sonar-project.properties ################### +f_sonar_properties = 'sonar-project.properties' +with open(f_sonar_properties) as f: + fdata = f.read() +fdata = re.sub(r'(sonar\.projectVersion=)\d+\.\d+\.\d+', r'\g<1>{}'.format(version), fdata) + +with open(f_sonar_properties, 'w') as f: + f.write(fdata) +# gen docs gen_doc.gen_deps_doc() +gen_doc.gen_boards_doc() +# gen presets +gen_presets.main() + +##################(ver# +# docs/info/changelog.rst +################### print("Update docs/info/changelog.rst") |
