ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge branch 'theotherjimmy-fix-6258' into rollup2

pull/8423/head
Cruz Monrreal II 2018-10-12 21:46:33 -05:00
parent de75000041 ec07e25430
commit ab20cc375e
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/memap.py
View File

@ -142,7 +142,10 @@ class _GccParser(_Parser):
return join('[lib]', test_re_obj_name.group(2), return join('[lib]', test_re_obj_name.group(2),
test_re_obj_name.group(3)) test_re_obj_name.group(3))
else: else:
print("Unknown object name found in GCC map file: %s" % line) if (not line.startswith("LONG") and
not line.startswith("linker stubs")):
print("Unknown object name found in GCC map file: %s"
% line)
return '[misc]' return '[misc]'
def parse_section(self, line): def parse_section(self, line):