RFC & patch: Rework MIPS command-line handling

[Paul Koning]

>>>>> "Maciej" == Maciej W Rozycki <macro@ds2.pg.gda.pl> writes:

 Maciej> There is no need, either, as there are "-march=mips1",
 Maciej> etc. equivalents, and specifying "-march=3000 -march=mips2"
 Maciej> is obviously incorrect for anyone...

Actually, it isn't.  By the usual rules, if you mention a switch more
than once, the last occurrence is in effect.  So this should be
equivalent simply to saying -march=mips2.

That rule is necessary to allow makefiles to set options that are
generally in effect but can be overridden when needed.

	  paul