Correct Gcc builtin module naming

Author: theotherjimmy

tools/memap.py

@@ -77,7 +77,7 @@ def parse_mapfile(self, mapfile):
 
 class _GccParser(_Parser):
     RE_OBJECT_FILE = re.compile(r'^(.+\/.+\.o)$')
-    RE_LIBRARY_OBJECT = re.compile(r'^.+\/lib(.+\.a)\((.+\.o)\)$')
+    RE_LIBRARY_OBJECT = re.compile(r'^.+' + os.sep + r'lib((.+\.a)\((.+\.o)\))$')
     RE_STD_SECTION = re.compile(r'^\s+.*0x(\w{8,16})\s+0x(\w+)\s(.+)$')
     RE_FILL_SECTION = re.compile(r'^\s*\*fill\*\s+0x(\w{8,16})\s+0x(\w+).*$')
 
@@ -119,7 +119,7 @@ def parse_object_name(self, line):
 
             # corner case: certain objects are provided by the GCC toolchain
             if 'arm-none-eabi' in line:
-                return os.path.join('[lib]', 'misc', object_name)
+                return os.path.join('[lib]', 'misc', os.path.basename(object_name))
             return object_name
 
         else: