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] == '_'