Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Now we use python for os_type, we need to catch 'windows' as well as 'mingw65_nt- fixes #9597'

Browse source
This commit is contained in:
Jason Williams 2016-02-13 22:42:28 +00:00
parent 2fd8cbccdd
commit cf2e0c0f4c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/command_base.py
View file

@ -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"