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():