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

Tools - build_release - return 1 if any build fails

pull/1033/head
0xc0170 2015-04-13 16:13:52 +02:00
parent f7115d354c
commit b8da610a78
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
workspace_tools/build_release.py
View File

@ -126,3 +126,4 @@ if __name__ == '__main__':
if failures: if failures:
print "\n\nBuild failures:" print "\n\nBuild failures:"
print "\n".join([" * %s" % f for f in failures]) print "\n".join([" * %s" % f for f in failures])
sys.exit(1)