From 9611ceb4608f8b64313b1c74a7ec36b64ef2daef Mon Sep 17 00:00:00 2001
From: Andy McFadden <fadden@android.com>
Date: Mon, 31 Aug 2009 13:38:35 -0700
Subject: [PATCH] Flush every line of output.

Works better when the output is piped through "tee" to a file.
---
 tools/adbs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/adbs b/tools/adbs
index 8b1fac60f0..815ae10e70 100755
--- a/tools/adbs
+++ b/tools/adbs
@@ -217,6 +217,7 @@ if __name__ == '__main__':
       SymbolTranslation(groups)
     else:
       print line
+      sys.stdout.flush()
 
   # adb itself aborts
   stream.close()