From bd36933636b085245b961c2031504619511abc12 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 11 Dec 2017 11:59:24 +0100
Subject: [PATCH] abi_symbols: annotate the size for 'R'-type symbols

Fixes #2622
---
 tool/abi_symbols | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/abi_symbols b/tool/abi_symbols
index d9f0240ae..6b0c70759 100755
--- a/tool/abi_symbols
+++ b/tool/abi_symbols
@@ -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"