[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