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

Correct result usage in reporting infra

pull/7567/head
Jimmy Brisson 2018-07-25 10:04:18 -05:00
parent 69203d30f1
commit ac14e37a77
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/build_api.py
View File

@ -587,8 +587,8 @@ def build_project(src_paths, build_path, target, toolchain_name,
cur_result["result"] = "OK"
cur_result["memory_usage"] = (memap_instance.mem_report
if memap_instance is not None else None)
cur_result["bin"] = res
cur_result["elf"] = splitext(res)[0] + ".elf"
cur_result["bin"] = res[0]
cur_result["elf"] = splitext(res[0])[0] + ".elf"
cur_result.update(toolchain.report)
add_result_to_report(report, cur_result)