[libxml2] xmllint: flush stdout before interactive shell input.

[Daniel Veillard <veillard src gnome org>]

commit 11e805d39701513f7fdb3b692beb7c493a498a97
Author: Patrick Monnerat <pm datasphere ch>
Date:   Fri Apr 17 17:02:59 2015 +0200

    xmllint: flush stdout before interactive shell input.

 xmllint.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/xmllint.c b/xmllint.c
index 7c61286..9e85c11 100644
--- a/xmllint.c
+++ b/xmllint.c
@@ -809,6 +809,7 @@ xmlShellReadline(char *prompt) {
 
     if (prompt != NULL)
        fprintf(stdout, "%s", prompt);
+    fflush(stdout);
     if (!fgets(line_read, 500, stdin))
         return(NULL);
     line_read[500] = 0;