Make gradle.properties optional

This commit is contained in:
topjohnwu 2023-10-19 15:44:34 -07:00
parent bb39a524d0
commit 4e4ec73d94
1 changed files with 5 additions and 3 deletions

View File

@ -187,15 +187,17 @@ def load_config(args):
# Default values
config["version"] = commit_hash
config["versionCode"] = 1000000
config["outdir"] = "out"
# Load prop files
if op.exists(args.config):
config.update(parse_props(args.config))
for key, value in parse_props("gradle.properties").items():
if key.startswith("magisk."):
config[key[7:]] = value
if op.exists("gradle.properties"):
for key, value in parse_props("gradle.properties").items():
if key.startswith("magisk."):
config[key[7:]] = value
try:
config["versionCode"] = int(config["versionCode"])