BlazeK1ng420/cutthecord
1
0
Fork 0
forked from distok/cutthecord
Code Issues Pull requests Projects Releases Wiki Activity

branding: make addpatch script dynamically get branch names

Browse source
This commit is contained in:
ave 2019-01-28 00:06:24 +03:00
parent ab1b95d8b2
commit 60e4d5282b
No known key found for this signature in database
GPG key ID: 09356ABAA42C842B
2 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
patches/branding/addpatch.py
View file

@ -28,11 +28,8 @@ with open(fname, 'r') as file:
filedata = file.read()
name = "CutTheCord"
branch = "base"
if "customtheme" in sys.argv:
branch = "themed"
# name += " Themed"
branch = sys.argv[2]
buildnum = str(counterup(branch))