diff options
| author | Richard M. Stallman <rms@gnu.org> | 1997-06-05 22:22:44 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1997-06-05 22:22:44 +0000 |
| commit | 57e1a4c7bfdefd56188f3d2cf2653ee61dffb5d5 (patch) | |
| tree | 0b857f05b1bc00c1445edfecaa35fd51f1576ad1 | |
| parent | 2a6c6c9099fbcbd3f50b127b629b5d0acc776d98 (diff) | |
| download | emacs-57e1a4c7bfdefd56188f3d2cf2653ee61dffb5d5.tar.gz | |
(mipsel*-linux* and mips*-linux*):
Set `os' to -linux-gnu directly, don't go via -linux.
| -rwxr-xr-x | config.sub | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config.sub b/config.sub index 0131946b93e..3f5c202f148 100755 --- a/config.sub +++ b/config.sub @@ -391,11 +391,11 @@ case $basic_machine in ;; 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 @@ case $basic_machine in basic_machine=vax-dec os=-vms ;; - vpp*|vx|vx-*) + vpp*|vx|vx-*) basic_machine=f301-fujitsu ;; vxworks960) @@ -615,7 +615,7 @@ case $basic_machine in # 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 |