On Fri, 12 Feb 2016 19:47:10 +0100, Jan Kratochvil wrote:
> (gdb.base/corefile.exp gdb.base/execl-update-breakpoints.exp listed there do
> not reproduce it for me locally now, I will re-check those.)

I have rechecked it and fixed these.

trunk:
	c99dbb4246fedd500dbdd50514589fc7f95d80c0
7.11:
	8b6bd5aca63189590498195a7a2696cde021c9cd


Jan