[pushed] Re: [PATCH] Delete gdb/regformats/microblaze.dat
Pedro Alves
palves@redhat.com
Wed Oct 15 15:28:00 GMT 2014
On 10/15/2014 04:26 PM, Pedro Alves wrote:
> This file:
>
> - Isn't used by GDBserver currently.
>
> - Isn't included in the WHICH list in features/Makefile, so hasn't
> been regenerated to pick the latest microblaze or generic fixes.
>
> Just delete it.
>
> gdb/
> 2014-10-15 Pedro Alves <palves@redhat.com>
>
> * regformats/microblaze.dat: Delete file.
Forgot to tweak the subject line: I already pushed this.
Thanks,
Pedro Alves
More information about the Gdb-patches
mailing list