2007-10-05 Robert Millan * util/misc.c (grub_util_info): flush stderr before returning. diff -ur grub2/util/misc.c grub2.probe/util/misc.c --- grub2/util/misc.c 2007-07-22 01:32:31.000000000 +0200 +++ grub2.probe/util/misc.c 2007-10-05 12:46:14.000000000 +0200 @@ -53,6 +53,7 @@ vfprintf (stderr, fmt, ap); va_end (ap); fputc ('\n', stderr); + fflush (stderr); } }