[build, devscripts] Add devscript to set a build variant

Closes #4471
This commit is contained in:
pukkandan 2022-07-29 20:33:01 +05:30
parent 115add4387
commit 70b2340909
No known key found for this signature in database
GPG key ID: 7EEE9E1E817D0A39
9 changed files with 70 additions and 12 deletions

View file

@ -45,6 +45,10 @@ switch_col_width = len(re.search(r'(?m)^\s{5,}', options).group())
delim = f'\n{" " * switch_col_width}'
PATCHES = (
( # Standardize update message
r'(?m)^( -U, --update\s+).+(\n \s.+)*$',
r'\1Update this program to the latest version',
),
( # Headings
r'(?m)^ (\w.+\n)( (?=\w))?',
r'## \1'