From 9cdb875ba20506154435d74d15d62239b10f3af7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 11 Feb 2021 09:40:23 -0800 Subject: [PATCH] remove use of deprecated linux_distribution --- scripts/mk_unix_dist.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py index 9935e3f88..28d68a01b 100644 --- a/scripts/mk_unix_dist.py +++ b/scripts/mk_unix_dist.py @@ -148,8 +148,8 @@ def get_os_name(): import platform basic = os.uname()[0].lower() if basic == 'linux': - dist = platform.linux_distribution() - if len(dist) == 3 and len(dist[0]) > 0 and len(dist[1]) > 0: + dist = platform.libc_ver() + if len(dist) == 2 and len(dist[0]) > 0 and len(dist[1]) > 0: return '%s-%s' % (dist[0].lower(), dist[1].lower()) else: return basic