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

Correct the _only_ detect_duplicates call

pull/7183/head
Jimmy Brisson 2018-06-11 13:40:44 -05:00
parent 6ca218544d
commit 06f3fca6cf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/build_api.py
View File

@ -561,7 +561,7 @@ def build_project(src_paths, build_path, target, toolchain_name,
map_html = join(build_path, name + "_map.html")
memap_instance.generate_output('html', stats_depth, map_html)
resources.detect_duplicates(toolchain)
resources.detect_duplicates()
if report != None:
end = time()