On 25/11/2016 01:01, Pedro Alves wrote: > > Chris, could you open a bug report in bugzilla? > I have not raised a bug report as a patch was posted. We will include the patch in our tool builds until the next release of GDB. Thank you for the quick response and the solution. Chris