diff --git a/awtk_config_common.py b/awtk_config_common.py index dc05f436f..2aa7535b4 100644 --- a/awtk_config_common.py +++ b/awtk_config_common.py @@ -11,9 +11,13 @@ else: import pickle +OS_NAME = platform.system() + import subprocess def is_raspberrypi(): + if OS_NAME == "Windows": + return False result = str(subprocess.check_output(["uname", "-a"])) return result.find('Linux raspberrypi') >= 0 @@ -22,7 +26,6 @@ def is_raspberrypi(): ####################################################### TOOLS_PREFIX = '' -OS_NAME = platform.system() MACH = platform.machine() ARCH = platform.architecture() is32bit = (ARCH[0] == '32bit')