diff options
Diffstat (limited to 'tools/check_elf_file.py')
| -rwxr-xr-x | tools/check_elf_file.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/check_elf_file.py b/tools/check_elf_file.py index 045cb1dd71..0b80226935 100755 --- a/tools/check_elf_file.py +++ b/tools/check_elf_file.py @@ -72,9 +72,9 @@ ELF = collections.namedtuple( def _get_os_name(): """Get the host OS name.""" - if sys.platform == 'linux2': + if sys.platform.startswith('linux'): return 'linux' - if sys.platform == 'darwin': + if sys.platform.startswith('darwin'): return 'darwin' raise ValueError(sys.platform + ' is not supported') |