|
@@ -20,6 +20,7 @@ def getsizes(file):
|
|
if type in "tTdDbBrR":
|
|
if type in "tTdDbBrR":
|
|
# strip generated symbols
|
|
# strip generated symbols
|
|
if name[:6] == "__mod_": continue
|
|
if name[:6] == "__mod_": continue
|
|
|
|
+ if name == "linux_banner": continue
|
|
# statics and some other optimizations adds random .NUMBER
|
|
# statics and some other optimizations adds random .NUMBER
|
|
name = re.sub(r'\.[0-9]+', '', name)
|
|
name = re.sub(r'\.[0-9]+', '', name)
|
|
sym[name] = sym.get(name, 0) + int(size, 16)
|
|
sym[name] = sym.get(name, 0) + int(size, 16)
|