diff options
Diffstat (limited to 'gas/doc')
| -rw-r--r-- | gas/doc/c-arm.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/c-arm.texi b/gas/doc/c-arm.texi index 37756a0..b4b2d95 100644 --- a/gas/doc/c-arm.texi +++ b/gas/doc/c-arm.texi @@ -200,6 +200,7 @@ names are recognized: @code{armv6s-m}, @code{armv7}, @code{armv7-a}, +@code{armv7ve}, @code{armv7-r}, @code{armv7-m}, @code{armv7e-m}, |