diff options
| author | Richard M. Stallman | 1997-06-05 22:22:44 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1997-06-05 22:22:44 +0000 |
| commit | 1b152a5d477a1b9179c2cd59c6c04d89d94d82da (patch) | |
| tree | 2f9585677ba888ae3be66adbd6f05c86b3fa3a85 | |
| parent | ba4841b2a2c0e23280afad60df0a7eb7c5a5d3c7 (diff) | |
| download | emacs-1b152a5d477a1b9179c2cd59c6c04d89d94d82da.tar.gz emacs-1b152a5d477a1b9179c2cd59c6c04d89d94d82da.zip | |
(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 | |||
| 391 | ;; | 391 | ;; |
| 392 | mipsel*-linux*) | 392 | mipsel*-linux*) |
| 393 | basic_machine=mipsel-unknown | 393 | basic_machine=mipsel-unknown |
| 394 | os=-linux | 394 | os=-linux-gnu |
| 395 | ;; | 395 | ;; |
| 396 | mips*-linux*) | 396 | mips*-linux*) |
| 397 | basic_machine=mips-unknown | 397 | basic_machine=mips-unknown |
| 398 | os=-linux | 398 | os=-linux-gnu |
| 399 | ;; | 399 | ;; |
| 400 | mips3*-*) | 400 | mips3*-*) |
| 401 | basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'` | 401 | basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'` |
| @@ -585,7 +585,7 @@ case $basic_machine in | |||
| 585 | basic_machine=vax-dec | 585 | basic_machine=vax-dec |
| 586 | os=-vms | 586 | os=-vms |
| 587 | ;; | 587 | ;; |
| 588 | vpp*|vx|vx-*) | 588 | vpp*|vx|vx-*) |
| 589 | basic_machine=f301-fujitsu | 589 | basic_machine=f301-fujitsu |
| 590 | ;; | 590 | ;; |
| 591 | vxworks960) | 591 | vxworks960) |
| @@ -615,7 +615,7 @@ case $basic_machine in | |||
| 615 | # Here we handle the default manufacturer of certain CPU types. It is in | 615 | # Here we handle the default manufacturer of certain CPU types. It is in |
| 616 | # some cases the only manufacturer, in others, it is the most popular. | 616 | # some cases the only manufacturer, in others, it is the most popular. |
| 617 | mips) | 617 | mips) |
| 618 | if [ x$os = x-linux ]; then | 618 | if [ x$os = x-linux-gnu ]; then |
| 619 | basic_machine=mips-unknown | 619 | basic_machine=mips-unknown |
| 620 | else | 620 | else |
| 621 | basic_machine=mips-mips | 621 | basic_machine=mips-mips |