Lines Matching refs:mips3
803 mips3*-*)804 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`806 mips3*)807 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
