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

Adding entry to build report, even if no update was needed

Brian Daniels 2016-06-06 18:19:41 +01:00
parent e0c7e5fd89
commit 68cb86f61f
1 changed files with 6 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
tools/build_api.py
View File

@ -206,9 +206,9 @@ def build_project(src_path, build_path, target, toolchain_name,
resources.objects.extend(objects)
# Link Program
res, needed_update = toolchain.link_program(resources, build_path, name)
res, _ = toolchain.link_program(resources, build_path, name)
if report != None and needed_update:
if report != None:
end = time()
cur_result["elapsed_time"] = end - start
cur_result["output"] = toolchain.get_output()
@ -233,8 +233,6 @@ def build_project(src_path, build_path, target, toolchain_name,
if toolchain_output:
cur_result["output"] += toolchain_output
cur_result["output"] += str(e)
add_result_to_report(report, cur_result)
# Let Exception propagate
@ -359,11 +357,9 @@ def build_library(src_paths, build_path, target, toolchain_name,
resources.objects.extend(objects)
if archive:
needed_update = toolchain.build_library(resources.objects, build_path, name)
else:
needed_update = True
toolchain.build_library(objects, build_path, name)
if report != None and needed_update:
if report != None:
end = time()
cur_result["elapsed_time"] = end - start
cur_result["output"] = toolchain.get_output()
@ -510,12 +506,12 @@ def build_mbed_libs(target, toolchain_name, options=None, verbose=False, clean=F
for o in separate_objects:
objects.remove(o)
needed_update = toolchain.build_library(objects, BUILD_TOOLCHAIN, "mbed")
toolchain.build_library(objects, BUILD_TOOLCHAIN, "mbed")
for o in separate_objects:
toolchain.copy_files(o, BUILD_TOOLCHAIN)
if report != None and needed_update:
if report != None:
end = time()
cur_result["elapsed_time"] = end - start
cur_result["output"] = toolchain.get_output()