mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
parent
2fad5eff95
commit
f73c63900f
@ -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
|
||||
#
|
||||
|
Loading…
x
Reference in New Issue
Block a user