Detect linux-mips.

diff --git a/config b/config
index 53cad40a5f13199678f2b4a9a0cbff2082da82c1..b13bc6e18d10284d2a427252f94ed10c54b9b8d2 100755 (executable)
--- a/config
+++ b/config
@@ -304,6 +304,7 @@ echo Operating system: $GUESSOS
 case "$GUESSOS" in
   alpha-*-linux2) OUT="alpha-gcc" ;;
   ppc-*-linux2) OUT="linux-ppc" ;;
+  mips-*-linux?) OUT="linux-mips" ;;
   *-*-linux2) OUT="linux-elf" ;;
   *-*-linux1) OUT="linux-aout" ;;
   sun4u-sun-solaris2) OUT="solaris-usparc-$CC" ;;