Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix non-dev build versioning

This commit is contained in:
gorhill 2017-08-11 00:41:53 -04:00
parent 502dd89d53
commit ccc4324583
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/make-webext-meta.py
View File

@ -31,6 +31,8 @@ if match:
else: else:
builttype = 'rc' + str(buildtype - 100) builttype = 'rc' + str(buildtype - 100)
webext_manifest['version'] = match.group(1) + builttype webext_manifest['version'] = match.group(1) + builttype
else:
webext_manifest['version'] = chromium_manifest['version']
with open(webext_manifest_file, 'w') as f2: with open(webext_manifest_file, 'w') as f2:
json.dump(webext_manifest, f2, indent=2, separators=(',', ': '), sort_keys=True) json.dump(webext_manifest, f2, indent=2, separators=(',', ': '), sort_keys=True)