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

Merge pull request #6083 from TeroJaasko/fix_mbed_compile_stats_depth 

tools: build: fix handing of "--stats-depth"
pull/6097/merge
Cruz Monrreal 2018-02-14 12:40:16 -06:00 committed by GitHub
parent 6c74dce434 faabde13a1
commit ea411ef074
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -528,7 +528,7 @@ def build_project(src_paths, build_path, target, toolchain_name,
memap_instance = getattr(toolchain, 'memap_instance', None)
memap_table = ''
if memap_instance:
real_stats_depth = stats_depth if stats_depth is None else 2
real_stats_depth = stats_depth if stats_depth is not None else 2
memap_table = memap_instance.generate_output('table', real_stats_depth)
if not silent:
if not stats_depth: