From 55e39352c52d270d38ecb36ff0c2a2af429541c2 Mon Sep 17 00:00:00 2001
From: Alex Williamson <alex.williamson@hp.com>
Date: Wed, 13 Feb 2008 10:34:18 -0700
Subject: [IA64] Make xenitp more '|tee' friendly

Flush stdout after printing the prompt.

Signed-off-by: Tristan Gingold <tgingold@free.fr>
---
 tools/debugger/xenitp/xenitp.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/debugger')

diff --git a/tools/debugger/xenitp/xenitp.c b/tools/debugger/xenitp/xenitp.c
index bc82ee6a23..5bd366e4fa 100644
--- a/tools/debugger/xenitp/xenitp.c
+++ b/tools/debugger/xenitp/xenitp.c
@@ -1577,6 +1577,7 @@ void xenitp (int vcpu)
         int len;
 
         printf ("XenITP> ");
+        fflush (stdout);
 
         if (fgets (buf, sizeof (buf), stdin) == NULL)
             break;
-- 
cgit v1.2.3