aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/command_base.py
diff options
context:
space:
mode:
authormati865 <mati865@gmail.com>2016-11-23 16:07:43 +0100
committermati865 <mati865@gmail.com>2016-12-07 19:10:13 +0100
commit02b2b9ccbc7073a3a0adef28d30d4c91978a6324 (patch)
tree172c6743539a41ef84054328d6ee133fe811f319 /python/servo/command_base.py
parent5946f756d788a5ce9c8f6447b4fa04d57daf9076 (diff)
downloadservo-02b2b9ccbc7073a3a0adef28d30d4c91978a6324.tar.gz
servo-02b2b9ccbc7073a3a0adef28d30d4c91978a6324.zip
use MSVC toolchain if PLATFORM is defined
Diffstat (limited to 'python/servo/command_base.py')
-rw-r--r--python/servo/command_base.py6
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":