From 3d9b76db8ed8d2b0d3ce64e29571221cab1bca0e Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Wed, 2 Jul 2025 18:34:41 +0200 Subject: [PATCH] bin/symbols-check: ignore version of platform symbols Part-of: --- bin/symbols-check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/symbols-check.py b/bin/symbols-check.py index e42787e3cf2..fd8e906101e 100644 --- a/bin/symbols-check.py +++ b/bin/symbols-check.py @@ -73,7 +73,7 @@ def get_symbols_nm(nm, lib): continue symbol_name = fields[0] if platform_name == 'Linux' or platform_name == 'GNU' or platform_name.startswith('GNU/'): - if symbol_name in PLATFORM_SYMBOLS: + if symbol_name.split('@')[0] in PLATFORM_SYMBOLS: continue elif platform_name == 'Darwin': assert symbol_name[0] == '_'