1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-03 07:02:28 +03:00

Recognize MSYS(MINGW) as Windows for toolchain get (#7358)

Add the ID string reported by MSYS's latest tools under Windows with
the string "MINGW..." as "Windows" for toolchain selection in get.py
This commit is contained in:
Earle F. Philhower, III 2020-06-07 10:53:48 -07:00 committed by GitHub
parent 45feadcb4a
commit e70092ca3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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