diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gbtype | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/gbtype b/tools/gbtype index f58a1f8..c741c85 100755 --- a/tools/gbtype +++ b/tools/gbtype @@ -41,7 +41,11 @@ def send(header, payload=b""): if not d: break out += d s.close() - sys.stdout.write(out.decode(errors="replace")) + text = out.decode(errors="replace") + if text.startswith("err"): # make failures loud and scriptable + sys.stderr.write(text) + sys.exit(1) + sys.stdout.write(text) def main(): args = sys.argv[1:] |
