diff options
| author | Alex Williamson <alex.williamson@hp.com> | 2008-02-13 10:34:18 -0700 |
|---|---|---|
| committer | Alex Williamson <alex.williamson@hp.com> | 2008-02-13 10:34:18 -0700 |
| commit | 55e39352c52d270d38ecb36ff0c2a2af429541c2 (patch) | |
| tree | 9c775efa87bdd38a898c2803e0f95770360bec10 /tools/debugger | |
| parent | 50cdc10d699e5179bf8f1e9b086508f3ef3bf168 (diff) | |
| download | xen-55e39352c52d270d38ecb36ff0c2a2af429541c2.tar.gz xen-55e39352c52d270d38ecb36ff0c2a2af429541c2.tar.bz2 xen-55e39352c52d270d38ecb36ff0c2a2af429541c2.zip | |
[IA64] Make xenitp more '|tee' friendly
Flush stdout after printing the prompt.
Signed-off-by: Tristan Gingold <tgingold@free.fr>
Diffstat (limited to 'tools/debugger')
| -rw-r--r-- | tools/debugger/xenitp/xenitp.c | 1 |
1 files changed, 1 insertions, 0 deletions
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; |