# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1202795036 -3600
# Node ID 8bbc0b7b1759314d7c640874e71556479f95b532
# Parent  bac4cda6eb309d41f910b70fec00c3995cdc51d7
Flush stdout after printing the prompt.
Makes xenitp more '|tee' friendly.

Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>

diff -r bac4cda6eb30 -r 8bbc0b7b1759 tools/debugger/xenitp/xenitp.c
--- a/tools/debugger/xenitp/xenitp.c	Thu Feb 07 06:29:34 2008 +0100
+++ b/tools/debugger/xenitp/xenitp.c	Tue Feb 12 06:43:56 2008 +0100
@@ -1577,6 +1577,7 @@ void xenitp (int vcpu)
         int len;
 
         printf ("XenITP> ");
+        fflush (stdout);
 
         if (fgets (buf, sizeof (buf), stdin) == NULL)
             break;