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 #2174 from theotherjimmy/return-from-build 

[tools/build_api] Retrun truthy value on success from build_*
pull/2162/merge
Martin Kojtal 2016-07-15 09:01:31 +01:00 committed by GitHub
parent eca0c69e6c 6aa2bbb801
commit 3a2b752169
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/build_api.py
View File

@ -396,6 +396,7 @@ def build_library(src_paths, build_path, target, toolchain_name,
cur_result["result"] = "OK" cur_result["result"] = "OK"
add_result_to_report(report, cur_result) add_result_to_report(report, cur_result)
return True
except Exception, e: except Exception, e:
if report != None: if report != None:
@ -540,6 +541,7 @@ def build_lib(lib_id, target, toolchain_name, options=None, verbose=False, clean
cur_result["result"] = "OK" cur_result["result"] = "OK"
add_result_to_report(report, cur_result) add_result_to_report(report, cur_result)
return True
except Exception, e: except Exception, e:
if report != None: if report != None: