[MI, doc] flush output in -gdb-exit

Daniel Jacobowitz drow@false.org
Thu Dec 17 15:12:00 GMT 2009

On Thu, Dec 17, 2009 at 05:01:07PM +0300, Vladimir Prus wrote:
> It flushes stdout. However, it seems to my more convenient -- especially
> when debugging frontend, if command response comes as soon as possible.

Yeah, I agree.

Daniel Jacobowitz

More information about the Gdb-patches mailing list