[PATCH]: Map r10000 to mips4 in MIPS_ISA_LEVEL_SPEC

[Richard Sandiford]

Kumba <kumba@gentoo.org> writes:
> Richard Sandiford wrote:
>> As Maciej says, this should include r12000, r14000 and r16000 as well.
>> Looks good otherwise.
>> 
>> ChangeLog should be "* config/mips/mips.c" instead of "* gcc/...".
>
> Needed more caffeine :)

> Not sure if march=1*000 is valid, or march=r1[0246]000 works, so I
> just listed them all out.

Yeah, that's the right choice.  Neither of the two alternatives
are supported AFAIK.

Patch applied, thanks.

Richard