arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-27 21:16:50 +03:00
Code

msys2 support for tools/get.py (#5751)

Browse Source
This commit is contained in:
Odd Stråbø 2019-02-11 12:18:03 +01:00 committed by david gauchard
parent 5f68e61b26
commit 5948b0fc52
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/get.py
View File

@ -106,6 +106,8 @@ def identify_platform():
sys_name = 'LinuxARM' sys_name = 'LinuxARM'
if 'CYGWIN_NT' in sys_name: if 'CYGWIN_NT' in sys_name:
sys_name = 'Windows' sys_name = 'Windows'
if 'MSYS_NT' in sys_name:
sys_name = 'Windows'
return arduino_platform_names[sys_name][bits] return arduino_platform_names[sys_name][bits]
def main(): def main():