diff --git a/tool/abi_symbols b/tool/abi_symbols index 735ca6473..5e6534755 100755 --- a/tool/abi_symbols +++ b/tool/abi_symbols @@ -90,6 +90,12 @@ foreach line [split $symbols "\n"] { if {[regexp {W|V} $type] && ($name != $demangled_name)} { set keep 0 } + # + # Drop weak local symbols + # + if {[regexp {w|v} $type]} { + set keep 0 } + # # Drop blacklisted symbols #