2007-10-21 Robert Millan <rmh@aybabtu.com>

	* util/misc.c (grub_util_info): Call fflush() before returning.

diff --git a/ChangeLog b/ChangeLog
index 66cbf5fdbd28441630651233d70c2ab62b061288..666bcd6a507529ce04e3767a9a22751291185436 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-10-21  Robert Millan  <rmh@aybabtu.com>
+
+       * util/misc.c (grub_util_info): Call fflush() before returning.
+
 2007-10-20  Robert Millan  <rmh@aybabtu.com>
 
        * genmk.rb (Image): Copy `extra_flags' from here ...

diff --git a/util/misc.c b/util/misc.c
index c4d474290a27ec6f341e2c6aff989cfd28de4b62..92eea95c53f1dcf60638679a39465074f7772cab 100644 (file)
--- a/util/misc.c
+++ b/util/misc.c
@@ -53,6 +53,7 @@ grub_util_info (const char *fmt, ...)
       vfprintf (stderr, fmt, ap);
       va_end (ap);
       fputc ('\n', stderr);
+      fflush (stderr);
     }
 }