From 5ea557e0a335a5d0d39b1ec171ed34d50e5ca95d Mon Sep 17 00:00:00 2001 From: SamJakob Date: Wed, 8 Nov 2023 17:27:46 +0000 Subject: [PATCH] Clean up check for ARM build --- gui/Scyther/Scyther.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py index 56e8cc7..6203ca7 100755 --- a/gui/Scyther/Scyther.py +++ b/gui/Scyther/Scyther.py @@ -175,7 +175,9 @@ def getScytherBackend(): # Check if there is an ARM version available at scyther-mac-arm # Otherwise, just fallback to the default scyther-mac which is the # Intel version for backwards-compatibility reasons. - if platform.processor().startswith("arm") and os.path.exists(getBinDir(),"scyther-mac-arm"): + has_arm_build = os.path.exists(os.path.join(getBinDir(),"scyther-mac-arm")) + + if platform.processor().startswith("arm") and has_arm_build: scythername = "scyther-mac-arm" else: scythername = "scyther-mac"