From b40a85a0e8f89928b965a5ed5e90e158cd642355 Mon Sep 17 00:00:00 2001 From: Changyoung Koh Date: Sat, 28 Dec 2019 05:17:06 +0900 Subject: [PATCH] Fix build for Python 3.8 (#2747) * Fix build for Python 3.8 --- tools/ci_build/build.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/tools/ci_build/build.py b/tools/ci_build/build.py index 6b4a869c9f..f420cb13cd 100755 --- a/tools/ci_build/build.py +++ b/tools/ci_build/build.py @@ -167,8 +167,17 @@ def resolve_executable_path(command_or_path): def is_windows(): return sys.platform.startswith("win") +def get_linux_distro(): + try: + with open('/etc/os-release', 'r') as f: + dist_info = dict(line.strip().split('=', 1) for line in f.readlines()) + return dist_info.get('NAME', '').strip('"'), dist_info.get('VERSION', '').strip('"') + except: + return '', '' + def is_ubuntu_1604(): - return platform.linux_distribution()[0] == 'Ubuntu' and platform.linux_distribution()[1] == '16.04' + dist, ver = get_linux_distro() + return dist == 'Ubuntu' and ver.startswith('16.04') def get_config_build_dir(build_dir, config): # build directory per configuration