From 8073fed85e951c50f4f13f41b37b7df6e17d726d Mon Sep 17 00:00:00 2001 From: SamJakob Date: Wed, 8 Nov 2023 15:17:34 +0000 Subject: [PATCH] Check if ARM build exists before using --- gui/Scyther/Scyther.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py index 4b2f31c..56e8cc7 100755 --- a/gui/Scyther/Scyther.py +++ b/gui/Scyther/Scyther.py @@ -175,7 +175,7 @@ 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"): + if platform.processor().startswith("arm") and os.path.exists(getBinDir(),"scyther-mac-arm"): scythername = "scyther-mac-arm" else: scythername = "scyther-mac"