From aebfe6230a750de89db78cb4e95974be646921c3 Mon Sep 17 00:00:00 2001
From: "Earle F. Philhower, III" <earlephilhower@yahoo.com>
Date: Sun, 7 Jun 2020 10:05:57 -0700
Subject: [PATCH] Recognize MSYS(MINGW) as Windows for toolchain get

Add the ID string reported by MSYS's latest tools under Windows with
the string "MINGW..." as "Windows" for toolchain selection in get.py
---
 tools/get.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/get.py b/tools/get.py
index af39a10f31..8276a46f21 100755
--- a/tools/get.py
+++ b/tools/get.py
@@ -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():