[patch] ARMv7 naming

[Richard Earnshaw]

On Wed, 2006-12-13 at 15:59 +0000, Paul Brook wrote:
> The official spelling of the ARMv7 architecture profiles use a dash before the 
> profile letter (eg. ARMv7-A). The non-dashed form currently used by binutils 
> comes from some early documentation, and we didn't notice the change.
> 
> The patch below adds the dashed forms for consistency with ARM documentation 
> and third party tools. The existing options are preserved for backwards 
> compatibility.
> 
> Tested on arm-none-eabi.
> Ok?
> 
> Paul
> 
> 2006-12-13  Paul Brook  <paul@codesourcery.com>
> 
> 	gas/
> 	* config/tc-arm.c (arm_arch_option_table): Add v7-{a,r,m}.
> 	* doc/c-arm.texi: Fix spelling of ARMv7 architecture profiles.

OK.

R.