2
# Configuration validation subroutine script.
3
# Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
4
# Free Software Foundation, Inc.
8
# This file is (in principle) common to ALL GNU software.
9
# The presence of a machine in this file suggests that SOME GNU software
10
# can handle that machine. It does not imply ALL GNU software can.
12
# This file is free software; you can redistribute it and/or modify
13
# it under the terms of the GNU General Public License as published by
14
# the Free Software Foundation; either version 2 of the License, or
15
# (at your option) any later version.
17
# This program is distributed in the hope that it will be useful,
18
# but WITHOUT ANY WARRANTY; without even the implied warranty of
19
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20
# GNU General Public License for more details.
22
# You should have received a copy of the GNU General Public License
23
# along with this program; if not, write to the Free Software
24
# Foundation, Inc., 59 Temple Place - Suite 330,
25
# Boston, MA 02111-1307, USA.
27
# As a special exception to the GNU General Public License, if you
28
# distribute this file as part of a program that contains a
29
# configuration script generated by Autoconf, you may include it under
30
# the same distribution terms that you use for the rest of that program.
32
# Please send patches to <config-patches@gnu.org>.
34
# Configuration subroutine to validate and canonicalize a configuration type.
35
# Supply the specified configuration type as an argument.
36
# If it is invalid, we print an error message on stderr and exit with code 1.
37
# Otherwise, we print the canonical config type on stdout and succeed.
39
# This file is supposed to be the same for all GNU packages
40
# and recognize all the CPU types, system types and aliases
41
# that are meaningful with *any* GNU software.
42
# Each package is responsible for reporting which valid configurations
43
# it does not support. The user should be able to distinguish
44
# a failure to support a valid configuration from a meaningless
47
# The goal of this file is to map all the various variations of a given
48
# machine specification into a single specification in the form:
49
# CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
50
# or in some cases, the newer four-part form:
51
# CPU_TYPE-MANUFACTURER-KERNEL-OPERATING_SYSTEM
52
# It is wrong to echo any other type of specification.
54
me=`echo "$0" | sed -e 's,.*/,,'`
57
Usage: $0 [OPTION] CPU-MFR-OPSYS
60
Canonicalize a configuration name.
63
-h, --help print this help, then exit
64
-t, --time-stamp print date of last modification, then exit
65
-v, --version print version number, then exit
67
Report bugs and patches to <config-patches@gnu.org>."
70
GNU config.sub ($timestamp)
72
Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
73
Free Software Foundation, Inc.
75
This is free software; see the source for copying conditions. There is NO
76
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE."
79
Try \`$me --help' for more information."
82
while test $# -gt 0 ; do
84
--time-stamp | --time* | -t )
85
echo "$timestamp" ; exit 0 ;;
87
echo "$version" ; exit 0 ;;
89
echo "$usage"; exit 0 ;;
90
-- ) # Stop option processing
92
- ) # Use stdin as input.
95
echo "$me: invalid option $1$help"
99
# First pass through any local machine types.
109
0) echo "$me: missing argument$help" >&2
112
*) echo "$me: too many arguments$help" >&2
116
# Separate what the user gave into CPU-COMPANY and OS or KERNEL-OS (if any).
117
# Here we must recognize all the valid KERNEL-OS combinations.
118
maybe_os=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\2/'`
120
nto-qnx* | linux-gnu* | storm-chaos* | os2-emx* | windows32-*)
122
basic_machine=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\1/'`
125
basic_machine=`echo $1 | sed 's/-[^-]*$//'`
126
if [ $basic_machine != $1 ]
127
then os=`echo $1 | sed 's/.*-/-/'`
132
### Let's recognize common machines as not being operating systems so
133
### that things like config.sub decstation-3100 work. We also
134
### recognize some manufacturers as not being operating systems, so we
135
### can provide default operating systems below.
138
# Prevent following clause from handling this invalid input.
140
-dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \
141
-att* | -7300* | -3300* | -delta* | -motorola* | -sun[234]* | \
142
-unicom* | -ibm* | -next | -hp | -isi* | -apollo | -altos* | \
143
-convergent* | -ncr* | -news | -32* | -3600* | -3100* | -hitachi* |\
144
-c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \
145
-harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp | \
150
-sim | -cisco | -oki | -wec | -winbond)
173
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
177
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
180
os=`echo $os | sed -e 's/sco3.2./sco3.2v/'`
181
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
184
# Don't forget version if it is 3.2v4 or newer.
185
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
189
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
192
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
196
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
199
basic_machine=clipper-intergraph
202
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
208
basic_machine=`echo $1 | sed -e 's/86-.*/86-sequent/'`
211
os=`echo $os | sed -e 's/windowsnt/winnt/'`
217
basic_machine=m68k-atari
222
# Decode aliases for certain CPU-COMPANY combinations.
223
case $basic_machine in
224
# Recognize the basic CPU types without company name.
225
# Some are omitted here because they have special meanings below.
228
| alpha | alphaev[4-8] | alphaev56 | alphaev6[78] | alphapca5[67] \
229
| arc | arm | arm[bl]e | arme[lb] | armv[2345] | armv[345][lb] | avr \
231
| d10v | d30v | dsp16xx \
233
| h8300 | h8500 | hppa | hppa1.[01] | hppa2.0 | hppa2.0[nw] | hppa64 \
234
| i370 | i860 | i960 | ia64 \
235
| m32r | m68000 | m68k | m88k | mcore \
236
| mips16 | mips64 | mips64el | mips64orion | mips64orionel \
237
| mips64vr4100 | mips64vr4100el | mips64vr4300 \
238
| mips64vr4300el | mips64vr5000 | mips64vr5000el \
239
| mipsbe | mipseb | mipsel | mipsle | mipstx39 | mipstx39el \
241
| mn10200 | mn10300 \
244
| pdp10 | pdp11 | pj | pjl \
245
| powerpc | powerpc64 | powerpc64le | powerpcle | ppcbe \
248
| sh | sh[34] | sh[34]eb | shbe | shle \
249
| sparc | sparc64 | sparclet | sparclite | sparcv9 | sparcv9b \
250
| stormy16 | strongarm \
251
| tahoe | thumb | tic80 | tron \
256
basic_machine=$basic_machine-unknown
258
m6811 | m68hc11 | m6812 | m68hc12)
259
# Motorola 68HC11/12.
260
basic_machine=$basic_machine-unknown
263
m88110 | m680[12346]0 | m683?2 | m68360 | m5200 | v70 | w65 | z8k)
266
# We use `pc' rather than `unknown'
267
# because (1) that's what they normally are, and
268
# (2) the word "unknown" tends to confuse beginning users.
270
basic_machine=$basic_machine-pc
272
# Object if more than one company name word.
274
echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
277
# Recognize the basic CPU types with company name.
280
| alpha-* | alphaev[4-8]-* | alphaev56-* | alphaev6[78]-* \
281
| alphapca5[67]-* | arc-* \
282
| arm-* | armbe-* | armle-* | armv*-* \
284
| c[123]* | c30-* | [cjt]90-* | c54x-* \
285
| clipper-* | cray2-* | cydra-* \
288
| f30[01]-* | f700-* | fr30-* | fx80-* \
289
| h8300-* | h8500-* \
290
| hppa-* | hppa1.[01]-* | hppa2.0-* | hppa2.0[nw]-* | hppa64-* \
291
| i*86-* | i860-* | i960-* | ia64-* \
293
| m68000-* | m680[01234]0-* | m68360-* | m683?2-* | m68k-* \
294
| m88110-* | m88k-* | mcore-* \
295
| mips-* | mips16-* | mips64-* | mips64el-* | mips64orion-* \
296
| mips64orionel-* | mips64vr4100-* | mips64vr4100el-* \
297
| mips64vr4300-* | mips64vr4300el-* | mipsbe-* | mipseb-* \
298
| mipsle-* | mipsel-* | mipstx39-* | mipstx39el-* \
299
| none-* | np1-* | ns16k-* | ns32k-* \
301
| pdp10-* | pdp11-* | pj-* | pjl-* | pn-* | power-* \
302
| powerpc-* | powerpc64-* | powerpc64le-* | powerpcle-* | ppcbe-* \
304
| romp-* | rs6000-* \
306
| sh-* | sh[34]-* | sh[34]eb-* | shbe-* | shle-* \
307
| sparc-* | sparc64-* | sparc86x-* | sparclite-* \
308
| sparcv9-* | sparcv9b-* | stormy16-* | strongarm-* | sv1-* \
309
| t3e-* | tahoe-* | thumb-* | tic30-* | tic54x-* | tic80-* | tron-* \
312
| x86-* | x86_64-* | xmp-* | xps100-* | xscale-* \
316
# Recognize the various machine names and aliases which stand
317
# for a CPU type and a company and sometimes even an OS.
319
basic_machine=i386-unknown
322
3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
323
basic_machine=m68000-att
326
basic_machine=we32k-att
329
basic_machine=a29k-amd
333
basic_machine=m68010-adobe
337
basic_machine=fx80-alliant
340
basic_machine=m68k-altos
343
basic_machine=a29k-none
347
basic_machine=580-amdahl
351
basic_machine=m68k-unknown
354
basic_machine=m68k-unknown
358
basic_machine=m68k-unknown
362
basic_machine=m68k-apollo
366
basic_machine=m68k-apollo
370
basic_machine=m68k-apple
374
basic_machine=ns32k-sequent
378
basic_machine=c1-convex
382
basic_machine=c2-convex
386
basic_machine=c32-convex
390
basic_machine=c34-convex
394
basic_machine=c38-convex
398
basic_machine=ymp-cray
402
basic_machine=cray2-cray
406
basic_machine=${basic_machine}-cray
410
basic_machine=m68k-crds
412
cris | cris-* | etrax*)
413
basic_machine=cris-axis
416
basic_machine=m68k-da30
418
decstation | decstation-3100 | pmax | pmax-* | pmin | dec3100 | decstatn)
419
basic_machine=mips-dec
421
delta | 3300 | motorola-3300 | motorola-delta \
422
| 3300-motorola | delta-motorola)
423
basic_machine=m68k-motorola
426
basic_machine=m88k-motorola
430
basic_machine=rs6000-bull
434
basic_machine=m68k-bull
438
basic_machine=a29k-amd
442
basic_machine=elxsi-elxsi
445
encore | umax | mmax)
446
basic_machine=ns32k-encore
448
es1800 | OSE68k | ose68k | ose | OSE)
449
basic_machine=m68k-ericsson
453
basic_machine=i860-alliant
456
basic_machine=ns32k-ns
459
basic_machine=tron-gmicro
463
basic_machine=i386-pc
467
basic_machine=hppa1.1-hitachi
471
basic_machine=h8300-hitachi
475
basic_machine=h8300-hitachi
479
basic_machine=h8500-hitachi
483
basic_machine=m88k-harris
487
basic_machine=m68k-hp
490
basic_machine=m68k-hp
494
basic_machine=m68k-hp
497
hp3k9[0-9][0-9] | hp9[0-9][0-9])
498
basic_machine=hppa1.0-hp
500
hp9k2[0-9][0-9] | hp9k31[0-9])
501
basic_machine=m68000-hp
504
basic_machine=m68k-hp
506
hp9k6[0-9][0-9] | hp6[0-9][0-9])
507
basic_machine=hppa1.0-hp
509
hp9k7[0-79][0-9] | hp7[0-79][0-9])
510
basic_machine=hppa1.1-hp
512
hp9k78[0-9] | hp78[0-9])
513
# FIXME: really hppa2.0-hp
514
basic_machine=hppa1.1-hp
516
hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
517
# FIXME: really hppa2.0-hp
518
basic_machine=hppa1.1-hp
520
hp9k8[0-9][13679] | hp8[0-9][13679])
521
basic_machine=hppa1.1-hp
523
hp9k8[0-9][0-9] | hp8[0-9][0-9])
524
basic_machine=hppa1.0-hp
530
basic_machine=hppa1.1-hp
534
basic_machine=hppa1.1-hp
538
basic_machine=i370-ibm
540
# I'm not sure what "Sysv32" means. Should this be sysv3.2?
542
basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
546
basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
550
basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
554
basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
558
basic_machine=i386-mach
562
basic_machine=i386-unknown
566
basic_machine=mips-sgi
576
basic_machine=m68k-isi
580
basic_machine=m88k-omron
583
basic_machine=mips-mips
587
basic_machine=ns32k-utek
591
basic_machine=i386-pc
595
basic_machine=m68000-convergent
597
*mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
598
basic_machine=m68k-atari
602
basic_machine=mipsel-unknown
606
basic_machine=mips-unknown
610
basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
613
basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
616
basic_machine=mmix-knuth
620
basic_machine=m68k-rom68k
624
basic_machine=i386-pc
628
basic_machine=i370-ibm
632
basic_machine=i486-ncr
636
basic_machine=i386-unknown
640
basic_machine=armv4l-rebel
643
news | news700 | news800 | news900)
644
basic_machine=m68k-sony
648
basic_machine=m68030-sony
651
news-3600 | risc-news)
652
basic_machine=mips-sony
656
basic_machine=v70-nec
660
basic_machine=m68k-next
673
basic_machine=m68k-harris
677
basic_machine=m88k-harris
681
basic_machine=i960-intel
685
basic_machine=i960-intel
689
basic_machine=mips-compaq
693
basic_machine=np1-gould
696
basic_machine=nsr-tandem
699
basic_machine=hppa1.1-oki
703
basic_machine=m68000-ericsson
707
basic_machine=m68k-none
711
basic_machine=hppa1.1-hitachi
715
basic_machine=i860-intel
719
basic_machine=sparc-tti
722
basic_machine=m68k-tti
725
basic_machine=ns32k-pc532
727
pentium | p5 | k5 | k6 | nexgen)
728
basic_machine=i586-pc
730
pentiumpro | p6 | 6x86 | athlon)
731
basic_machine=i686-pc
733
pentiumii | pentium2)
734
basic_machine=i686-pc
736
pentium-* | p5-* | k5-* | k6-* | nexgen-*)
737
basic_machine=i586-`echo $basic_machine | sed 's/^[^-]*-//'`
739
pentiumpro-* | p6-* | 6x86-* | athlon-*)
740
basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
742
pentiumii-* | pentium2-*)
743
basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
746
basic_machine=pn-gould
748
power) basic_machine=power-ibm
750
ppc) basic_machine=powerpc-unknown
752
ppc-*) basic_machine=powerpc-`echo $basic_machine | sed 's/^[^-]*-//'`
754
ppcle | powerpclittle | ppc-le | powerpc-little)
755
basic_machine=powerpcle-unknown
757
ppcle-* | powerpclittle-*)
758
basic_machine=powerpcle-`echo $basic_machine | sed 's/^[^-]*-//'`
760
ppc64) basic_machine=powerpc64-unknown
762
ppc64-*) basic_machine=powerpc64-`echo $basic_machine | sed 's/^[^-]*-//'`
764
ppc64le | powerpc64little | ppc64-le | powerpc64-little)
765
basic_machine=powerpc64le-unknown
767
ppc64le-* | powerpc64little-*)
768
basic_machine=powerpc64le-`echo $basic_machine | sed 's/^[^-]*-//'`
771
basic_machine=i386-ibm
774
basic_machine=i586-unknown
778
basic_machine=m68k-rom68k
782
basic_machine=mips-siemens
785
basic_machine=romp-ibm
788
basic_machine=a29k-amd
792
basic_machine=i386-sequent
795
basic_machine=sh-hitachi
799
basic_machine=sparclite-wrs
803
basic_machine=m68k-bull
807
basic_machine=spur-unknown
810
basic_machine=m68k-tandem
813
basic_machine=i860-stratus
817
basic_machine=m68000-sun
820
basic_machine=m68000-sun
824
basic_machine=m68000-sun
828
basic_machine=m68k-sun
832
basic_machine=m68k-sun
836
basic_machine=sparc-sun
840
basic_machine=sparc-sun
844
basic_machine=sparc-sun
848
basic_machine=m68k-sun
851
basic_machine=sparc-sun
853
sun386 | sun386i | roadrunner)
854
basic_machine=i386-sun
857
basic_machine=sv1-cray
861
basic_machine=i386-sequent
865
basic_machine=t3e-cray
869
basic_machine=tic54x-unknown
873
basic_machine=mipstx39-unknown
876
basic_machine=mipstx39el-unknown
879
basic_machine=m68k-ncr
882
basic_machine=a29k-amd
886
basic_machine=a29k-nyu
890
basic_machine=v810-nec
894
basic_machine=vax-dec
898
basic_machine=vax-dec
902
basic_machine=f301-fujitsu
905
basic_machine=i960-wrs
909
basic_machine=m68k-wrs
913
basic_machine=a29k-wrs
917
basic_machine=w65-wdc
921
basic_machine=hppa1.1-winbond
925
basic_machine=i386-pc
929
basic_machine=xmp-cray
933
basic_machine=xps100-honeywell
936
basic_machine=z8k-unknown
940
basic_machine=none-none
944
# Here we handle the default manufacturer of certain CPU types. It is in
945
# some cases the only manufacturer, in others, it is the most popular.
947
basic_machine=hppa1.1-winbond
950
basic_machine=hppa1.1-oki
953
basic_machine=hppa1.1-oki
956
if [ x$os = x-linux-gnu ]; then
957
basic_machine=mips-unknown
959
basic_machine=mips-mips
963
basic_machine=romp-ibm
966
basic_machine=rs6000-ibm
969
basic_machine=vax-dec
972
# there are many clones, so DEC is not a safe bet
973
basic_machine=pdp10-unknown
976
basic_machine=pdp11-dec
979
basic_machine=we32k-att
981
sh3 | sh4 | sh3eb | sh4eb)
982
basic_machine=sh-unknown
984
sparc | sparcv9 | sparcv9b)
985
basic_machine=sparc-sun
988
basic_machine=cydra-cydrome
991
basic_machine=orion-highlevel
994
basic_machine=clipper-highlevel
997
basic_machine=m68k-apple
1000
basic_machine=powerpc-apple
1003
basic_machine=c4x-none
1007
# Make sure to match an already-canonicalized machine name.
1010
echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
1015
# Here we canonicalize certain aliases for manufacturers.
1016
case $basic_machine in
1018
basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
1021
basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
1027
# Decode manufacturer-specific aliases for certain operating systems.
1029
if [ x"$os" != x"" ]
1032
# First match some system type aliases
1033
# that might get confused with valid system types.
1034
# -solaris* is a basic system type, with this one exception.
1035
-solaris1 | -solaris1.*)
1036
os=`echo $os | sed -e 's|solaris1|sunos4|'`
1048
os=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
1050
# First accept the basic system types.
1051
# The portable systems comes first.
1052
# Each alternative MUST END IN A *, to match a version number.
1053
# -sysv* is not here because it comes later, after sysvr4.
1054
-gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1055
| -*vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]*\
1056
| -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
1057
| -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \
1059
| -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \
1060
| -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \
1061
| -hiux* | -386bsd* | -netbsd* | -openbsd* | -freebsd* | -riscix* \
1062
| -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* | -oabi* \
1063
| -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
1064
| -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
1065
| -chorusos* | -chorusrdb* \
1066
| -cygwin* | -pe* | -psos* | -moss* | -proelf* | -rtems* \
1067
| -mingw32* | -linux-gnu* | -uxpv* | -beos* | -mpeix* | -udk* \
1068
| -interix* | -uwin* | -rhapsody* | -darwin* | -opened* \
1069
| -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
1070
| -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* \
1072
# Remember, each alternative MUST END IN *, to match a version number.
1075
case $basic_machine in
1086
-sim | -es1800* | -hms* | -xray | -os68k* | -none* | -v88r* \
1087
| -windows* | -osx | -abug | -netware* | -os9* | -beos* \
1088
| -macos* | -mpw* | -magic* | -mmixware* | -mon960* | -lnews*)
1091
os=`echo $os | sed -e 's|mac|macos|'`
1094
os=`echo $os | sed -e 's|linux|linux-gnu|'`
1097
os=`echo $os | sed -e 's|sunos5|solaris2|'`
1100
os=`echo $os | sed -e 's|sunos6|solaris3|'`
1135
# Preserve the version number of sinix5.
1137
os=`echo $os | sed -e 's|sinix|sysv|'`
1157
# This must come after -sysvr4.
1169
-*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1175
# Get rid of the `-' at the beginning of $os.
1176
os=`echo $os | sed 's/[^-]*-//'`
1177
echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
1183
# Here we handle the default operating systems that come with various machines.
1184
# The value should be what the vendor currently ships out the door with their
1185
# machine or put another way, the most popular os provided with the machine.
1187
# Note that if you're going to try to match "-MANUFACTURER" here (say,
1188
# "-sun"), then you have to tell the case statement up towards the top
1189
# that MANUFACTURER isn't an operating system. Otherwise, code above
1190
# will signal an error saying that MANUFACTURER isn't an operating
1191
# system, and we'll never get to this point.
1193
case $basic_machine in
1220
# This also exists in the configure program, but was not the
1233
*-tti) # must be before sparc entry or we get the wrong os.
1260
i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
1314
f30[01]-fujitsu | f700-fujitsu)
1335
# Here we handle the case where we know the os, and the CPU type, but not the
1336
# manufacturer. We pick the logical manufacturer.
1338
case $basic_machine in
1380
-vxsim* | -vxworks*)
1392
-*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1399
basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
1403
echo $basic_machine$os
1407
# eval: (add-hook 'write-file-hooks 'time-stamp)
1408
# time-stamp-start: "timestamp='"
1409
# time-stamp-format: "%:y-%02m-%02d"
1410
# time-stamp-end: "'"