Detect linux-mips.

1 files changed, 1 insertions, 0 deletions

diff --git a/config b/config
index 53cad40a5f..b13bc6e18d 100755
--- 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" ;;