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

Merge branch 'fix-6258' of ssh://github.com/theotherjimmy/mbed into theotherjimmy-fix-6258

pull/8423/head
Cruz Monrreal II 2018-10-12 21:46:33 -05:00
parent de75000041 d8b7b3a24a
commit ec07e25430
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),
test_re_obj_name.group(3))
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]'
def parse_section(self, line):