| 1234567891011 |
- --- mplayer-1.0-29987.orig/configure 2009-12-10 13:18:20.000000000 +0100
- +++ mplayer-1.0-29987/configure 2010-03-06 12:52:36.000000000 +0100
- @@ -2266,7 +2266,7 @@ EOF
- _optimizing="$proc"
- ;;
-
- - mips)
- + mips|mips64|mipsel|mips64el)
- _arch='SGI_MIPS'
- _target_arch='ARCH_SGI_MIPS = yes'
- iproc='sgi-mips'
|
