servo: Merge #9627 - Now we use python for os_type, we need to catch 'windows' as well as … (from Jayflux:addWindowsOptionInTriple); r=larsbergstrom

…'mingw65_nt- fixes #9597

Source-Repo: https://github.com/servo/servo
Source-Revision: 3f74c07e2025671d867e94acd28e706ce6fe236e

servo/python/servo/command_base.py

@@ -41,7 +41,7 @@ def host_triple():
         os_type = "apple-darwin"
     elif os_type == "android":
         os_type = "linux-androideabi"
-    elif os_type.startswith("mingw64_nt-"):
+    elif os_type == "windows" or os_type.startswith("mingw64_nt-"):
         os_type = "pc-windows-gnu"
     else:
         os_type = "unknown"