mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Auto merge of #9627 - Jayflux:addWindowsOptionInTriple, r=larsbergstrom
Now we use python for os_type, we need to catch 'windows' as well as … …'mingw65_nt- fixes #9597 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9627) <!-- Reviewable:end -->
This commit is contained in:
commit
3f74c07e20
1 changed files with 1 additions and 1 deletions
|
@ -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"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue