diff --git a/bin/symbols-check.py b/bin/symbols-check.py index 5ebeb861d12..dd36470d768 100644 --- a/bin/symbols-check.py +++ b/bin/symbols-check.py @@ -73,7 +73,7 @@ def get_symbols_dumpbin(dumpbin, lib): continue symbol_name = fields[3] # De-mangle symbols - if symbol_name[0] == '_': + if symbol_name[0] == '_' and '@' in symbol_name: symbol_name = symbol_name[1:].split('@')[0] symbols.append(symbol_name) return symbols