diff options
-rwxr-xr-x | config | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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" ;; |