From 096b09841014a48bc6b54539be9d24039c13a2ed Mon Sep 17 00:00:00 2001
From: Christie Koehler <ck@christi3k.net>
Date: Tue, 16 Aug 2016 17:26:59 -0700
Subject: [PATCH] Flush stdout and stderr prior to exiting child process.

This fixes a confusing bug that we ran into where the output from
certain child processes wouldn't appear when running `lint-all` via
`ssh` (without a tty) into the Vagrant environment.
---
 tools/lint-all | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/lint-all b/tools/lint-all
index 6cf3fa7c4f..b7f59dbba9 100755
--- a/tools/lint-all
+++ b/tools/lint-all
@@ -373,6 +373,8 @@ def run_parallel():
             logging.info("start " + name)
             result = func()
             logging.info("finish " + name)
+            sys.stdout.flush()
+            sys.stderr.flush()
             os._exit(result)
         pids.append(pid)
     failed = False