[PATCH] flush stderr in grub_util_info

[Robert Millan]

I run into this when debugging a problem with grub-probe silently hanging
when opening /dev/fd0.  Turns out that because of stderr buffering I didn't
get to see the output at all.  I think grub_util_info should flush it since
it can be critical information to find a problem (in my case, a bogus /dev/fd0
entry in device.map).

See attached patch.

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call, if you are unable to speak?
(as seen on /.)

util_info.diff
Description: Text Data