| commit | 59f36c19500b9f801a79a93becd87f21a903aaa4 | [log] [tgz] |
|---|---|---|
| author | Dan Willemsen <dwillemsen@google.com> | Wed Jun 15 20:02:04 2022 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jun 15 20:02:04 2022 +0000 |
| tree | d4bcf42084f3f5286b4608b9b2b9a8a4eeece325 | |
| parent | 6f3035197011e91f9df21f8bc70e721cd937bc8c [diff] | |
| parent | 7e0c12b1ba22d29a61947a331dcfd910b6ded8d9 [diff] |
Merge "Fix potential error for sys.platform"
diff --git a/tools/check_elf_file.py b/tools/check_elf_file.py index 045cb1d..0b80226 100755 --- a/tools/check_elf_file.py +++ b/tools/check_elf_file.py
@@ -72,9 +72,9 @@ 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')