On Sat, 16 May 2015 14:19:46 +0200, Jan Kratochvil wrote:
> OK but gdb/compile/ is using now only gdb_stdout; the error above is due to
> a copy-paste.  So I will send a follow-up patch to change all the other
> gdb/compile/ gdb_stdout strings to gdb_stdlog.

OK for check-in?


Jan