Merge pull request #1033 from 0xc0170/fix_buildreleaseexit

Tools - build_release - return 1 if any build fails
2015-04-13 16:41:44 +02:00 · 2015-04-13 16:41:44 +02:00 · 96a9bd75e7
parent f7115d354c b8da610a78
commit 96a9bd75e7
1 changed files with 1 additions and 0 deletions
--- a/workspace_tools/build_release.py
+++ b/workspace_tools/build_release.py
@ -126,3 +126,4 @@ if __name__ == '__main__':
    if failures:
        print "\n\nBuild failures:"
        print "\n".join(["  * %s" % f for f in failures])
+        sys.exit(1)