From b2e6e375fe0ec337a6b94ce819d8e493180c920b Mon Sep 17 00:00:00 2001 From: Man Zhang Date: Fri, 6 Mar 2026 18:51:46 +0800 Subject: [PATCH] for ubuntu --- scripts/dist.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dist.py b/scripts/dist.py index 078aae0d6..ec2200eea 100755 --- a/scripts/dist.py +++ b/scripts/dist.py @@ -302,7 +302,7 @@ def call_gradle(java_home, folder): command = "gradlew" - if platform.system() == "Darwin": + if platform.system() in ["Darwin", "Linux"]: # make sure gradlew command is executable os.system("chmod +x " + os.getcwd() + "/" + folder + "/gradlew")