mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-20 11:39:14 +00:00
parent
ed89f2f7f0
commit
bd36933636
@ -90,7 +90,7 @@ foreach line [split $symbols "\n"] {
|
||||
# linker copies the data from the shared library's symbol into the
|
||||
# binary's BSS.
|
||||
#
|
||||
if {($type == "D") || ($type == "B")} {
|
||||
if {($type == "D") || ($type == "B") || ($type == "R")} {
|
||||
puts "$name $type $size_dec"
|
||||
} else {
|
||||
puts "$name $type"
|
||||
|
Loading…
Reference in New Issue
Block a user