diff options
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index c6ea363dd05..a67ea0b208d 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -107,7 +107,10 @@ def host_triple(): elif os_type == "android": os_type = "linux-androideabi" elif os_type == "windows": - os_type = "pc-windows-msvc" + if os.getenv("MSYSTEM") is None: + os_type = "pc-windows-msvc" + else: + os_type = "pc-windows-gnu" elif os_type.startswith("mingw64_nt-") or os_type.startswith("cygwin_nt-"): os_type = "pc-windows-gnu" elif os_type == "freebsd": |