diff options
| author | Jason Williams <jase.williams@gmail.com> | 2016-02-13 22:42:28 +0000 |
|---|---|---|
| committer | Jason Williams <jase.williams@gmail.com> | 2016-02-13 22:43:39 +0000 |
| commit | cf2e0c0f4c34c9b9aa989dcf76a93ab8b3b4b320 (patch) | |
| tree | a7ec3245af5a85c36b4447c80b7ca23f40ef9ee7 /python/servo/command_base.py | |
| parent | 2fd8cbccdd5dae1ec79404bdf0f582a2f0ff89a4 (diff) | |
| download | servo-cf2e0c0f4c34c9b9aa989dcf76a93ab8b3b4b320.tar.gz servo-cf2e0c0f4c34c9b9aa989dcf76a93ab8b3b4b320.zip | |
Now we use python for os_type, we need to catch 'windows' as well as 'mingw65_nt- fixes #9597'
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 7786d1d5a34..a3724869e04 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -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" |