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

[tools/build_api] Retrun truthy value on success from build_* 

before:
```
$  python tools/build.py  -m NRF51_DK --source . -t GCC_ARM,ARM --build build --silent
[SNIP]
Completed in: (3.39)s

Build skipped:
  * GCC_ARM::NRF51_DK
  * ARM::NRF51_DK

```
after:
```
$  python tools/build.py  -m NRF51_DK --source . -t GCC_ARM,ARM --build build --silent
[SNIP]
Completed in: (3.43)s

Build successes:
  * GCC_ARM::NRF51_DK
  * ARM::NRF51_DK

```
pull/2174/head
Jimmy Brisson 2016-07-14 13:54:23 -05:00
parent d0d023ab58
commit 6aa2bbb801
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: