From d92a831fc965e9a0e97b13de8a5af326629d1b3d Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 19 Aug 2019 14:00:24 -0700 Subject: [PATCH] tidy up a comment (#315) --- emsdk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/emsdk b/emsdk index c16e228..aac263a 100755 --- a/emsdk +++ b/emsdk @@ -82,7 +82,8 @@ if not OSX and (platform.system() == 'Linux' or os.name == 'posix'): UNIX = (OSX or LINUX) ARCH = 'unknown' -machine = platform.machine().lower() #amd64 was not being recognised when returned as AMD64 +# platform.machine() may return AMD64 on windows, so standardize the case. +machine = platform.machine().lower() if machine.startswith('x64') or machine.startswith('amd64') or machine.startswith('x86_64'): ARCH = 'x86_64' elif machine.endswith('86'):