diff options
author | Jason Williams <jase.williams@gmail.com> | 2016-02-13 13:24:04 +0000 |
---|---|---|
committer | Jason Williams <jase.williams@gmail.com> | 2016-02-13 13:24:04 +0000 |
commit | 939f409042b80c7e4e7770674ed9b55074b04c5d (patch) | |
tree | 45ab1cc970d1245b459c3453fc1fce67fb819997 /python/servo/command_base.py | |
parent | 088963f774f5068ec8dc0f3bd88579bc1e84c18d (diff) | |
download | servo-939f409042b80c7e4e7770674ed9b55074b04c5d.tar.gz servo-939f409042b80c7e4e7770674ed9b55074b04c5d.zip |
use python's built in platform module for detection, for more accuracy and cross platform support
Diffstat (limited to 'python/servo/command_base.py')
-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 d43c3ab4eda..ece5e134141 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -13,6 +13,8 @@ import contextlib import subprocess from subprocess import PIPE import sys +import platform + import toml from mach.registrar import Registrar @@ -32,7 +34,7 @@ def cd(new_path): def host_triple(): - os_type = subprocess.check_output(["uname", "-s"]).strip().lower() + os_type = platform.system().lower() if os_type == "linux": os_type = "unknown-linux-gnu" elif os_type == "darwin": @@ -44,7 +46,7 @@ def host_triple(): else: os_type = "unknown" - cpu_type = subprocess.check_output(["uname", "-m"]).strip().lower() + cpu_type = platform.machine().lower() if cpu_type in ["i386", "i486", "i686", "i768", "x86"]: cpu_type = "i686" elif cpu_type in ["x86_64", "x86-64", "x64", "amd64"]: |