changeset 18145:14bd76ef0abb

(mipsel*-linux* and mips*-linux*): Set `os' to -linux-gnu directly, don't go via -linux.
author Richard M. Stallman <rms@gnu.org>
date Thu, 05 Jun 1997 22:22:44 +0000
parents f8860990bdf7
children fcec3a7a91d9
files config.sub
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/config.sub	Thu Jun 05 18:20:20 1997 +0000
+++ b/config.sub	Thu Jun 05 22:22:44 1997 +0000
@@ -391,11 +391,11 @@
 		;;
 	mipsel*-linux*)
 		basic_machine=mipsel-unknown
-		os=-linux
+		os=-linux-gnu
 		;;
 	mips*-linux*)
 		basic_machine=mips-unknown
-		os=-linux
+		os=-linux-gnu
 		;;
 	mips3*-*)
 		basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
@@ -585,7 +585,7 @@
 		basic_machine=vax-dec
 		os=-vms
 		;;
-       vpp*|vx|vx-*)
+	vpp*|vx|vx-*)
                basic_machine=f301-fujitsu
                ;;
 	vxworks960)
@@ -615,7 +615,7 @@
 # Here we handle the default manufacturer of certain CPU types.  It is in
 # some cases the only manufacturer, in others, it is the most popular.
 	mips)
-		if [ x$os = x-linux ]; then
+		if [ x$os = x-linux-gnu ]; then
 			basic_machine=mips-unknown
 		else
 			basic_machine=mips-mips