diff --git a/tools/get.py b/tools/get.py index e109071ee..f5c292999 100755 --- a/tools/get.py +++ b/tools/get.py @@ -106,6 +106,8 @@ def identify_platform(): sys_name = 'LinuxARM' if 'CYGWIN_NT' in sys_name: sys_name = 'Windows' + if 'MSYS_NT' in sys_name: + sys_name = 'Windows' return arduino_platform_names[sys_name][bits] def main():