diff options
author | mati865 <mati865@gmail.com> | 2016-11-23 16:07:43 +0100 |
---|---|---|
committer | mati865 <mati865@gmail.com> | 2016-12-07 19:10:13 +0100 |
commit | 02b2b9ccbc7073a3a0adef28d30d4c91978a6324 (patch) | |
tree | 172c6743539a41ef84054328d6ee133fe811f319 /python | |
parent | 5946f756d788a5ce9c8f6447b4fa04d57daf9076 (diff) | |
download | servo-02b2b9ccbc7073a3a0adef28d30d4c91978a6324.tar.gz servo-02b2b9ccbc7073a3a0adef28d30d4c91978a6324.zip |
use MSVC toolchain if PLATFORM is defined
Diffstat (limited to 'python')
-rw-r--r-- | python/servo/command_base.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index d277bff55ae..660cd453882 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -108,10 +108,12 @@ def host_triple(): os_type = "linux-androideabi" elif os_type == "windows": # If we are in a Visual Studio environment, use msvc - if os.getenv("VSInstallDir") is not None: + if os.getenv("PLATFORM") is not None: os_type = "pc-windows-msvc" - else: + elif os.getenv("MSYSTEM") is not None: os_type = "pc-windows-gnu" + else: + os_type = "unknown" elif os_type.startswith("mingw64_nt-") or os_type.startswith("cygwin_nt-"): os_type = "pc-windows-gnu" elif os_type == "freebsd": |