From 4e4ec73d94c45ca11bb39efb2a49bd5091bdf50c Mon Sep 17 00:00:00 2001 From: topjohnwu Date: Thu, 19 Oct 2023 15:44:34 -0700 Subject: [PATCH] Make gradle.properties optional --- build.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/build.py b/build.py index c8a8e583d..802a6954f 100755 --- a/build.py +++ b/build.py @@ -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"])