Clone of official tools

Revision:
7:5af61d55adbe
Parent:
5:f45a4ca92830
Child:
13:ab47a20b66f0
--- a/toolchains/arm.py	Sat May 21 20:17:44 2016 +0100
+++ b/toolchains/arm.py	Tue Jun 07 11:21:44 2016 +0100
@@ -151,10 +151,11 @@
 
     @hook_tool
     def link(self, output, objects, libraries, lib_dirs, mem_map):
+        map_file = splitext(output)[0] + ".map"
         if len(lib_dirs):
-            args = ["-o", output, "--userlibpath", ",".join(lib_dirs), "--info=totals", "--list=.link_totals.txt"]
+            args = ["-o", output, "--userlibpath", ",".join(lib_dirs), "--info=totals", "--map", "--list=%s" % map_file]
         else:
-            args = ["-o", output, "--info=totals", "--list=.link_totals.txt"]
+            args = ["-o", output, "--info=totals", "--map", "--list=%s" % map_file]
 
         if mem_map:
             args.extend(["--scatter", mem_map])