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*-* \
285 | c[123]* | c30-* | [cjt]90-* | c54x-* \
286 | clipper-* | cray2-* | cydra-* \
289 | f30[01]-* | f700-* | fr30-* | fx80-* \
290 | h8300-* | h8500-* \
291 | hppa-* | hppa1.[01]-* | hppa2.0-* | hppa2.0[nw]-* | hppa64-* \
292 | i*86-* | i860-* | i960-* | ia64-* \
294 | m68000-* | m680[01234]0-* | m68360-* | m683?2-* | m68k-* \
295 | m88110-* | m88k-* | mcore-* \
296 | mips-* | mips16-* | mips64-* | mips64el-* | mips64orion-* \
297 | mips64orionel-* | mips64vr4100-* | mips64vr4100el-* \
298 | mips64vr4300-* | mips64vr4300el-* | mipsbe-* | mipseb-* \
299 | mipsle-* | mipsel-* | mipstx39-* | mipstx39el-* \
300 | none-* | np1-* | ns16k-* | ns32k-* \
302 | pdp10-* | pdp11-* | pj-* | pjl-* | pn-* | power-* \
303 | powerpc-* | powerpc64-* | powerpc64le-* | powerpcle-* | ppcbe-* \
305 | romp-* | rs6000-* \
307 | sh-* | sh[34]-* | sh[34]eb-* | shbe-* | shle-* \
308 | sparc-* | sparc64-* | sparc86x-* | sparclite-* \
309 | sparcv9-* | sparcv9b-* | stormy16-* | strongarm-* | sv1-* \
310 | t3e-* | tahoe-* | thumb-* | tic30-* | tic54x-* | tic80-* | tron-* \
313 | x86-* | x86_64-* | xmp-* | xps100-* | xscale-* \
317 # Recognize the various machine names and aliases which stand
318 # for a CPU type and a company and sometimes even an OS.
320 basic_machine=i386-unknown
323 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
324 basic_machine=m68000-att
327 basic_machine=we32k-att
330 basic_machine=a29k-amd
334 basic_machine=m68010-adobe
338 basic_machine=fx80-alliant
341 basic_machine=m68k-altos
344 basic_machine=a29k-none
348 basic_machine=580-amdahl
352 basic_machine=m68k-unknown
355 basic_machine=m68k-unknown
359 basic_machine=m68k-unknown
363 basic_machine=m68k-apollo
367 basic_machine=m68k-apollo
371 basic_machine=m68k-apple
375 basic_machine=ns32k-sequent
379 basic_machine=c1-convex
383 basic_machine=c2-convex
387 basic_machine=c32-convex
391 basic_machine=c34-convex
395 basic_machine=c38-convex
399 basic_machine=ymp-cray
403 basic_machine=cray2-cray
407 basic_machine=${basic_machine}-cray
411 basic_machine=m68k-crds
413 cris | cris-* | etrax*)
414 basic_machine=cris-axis
417 basic_machine=m68k-da30
419 decstation | decstation-3100 | pmax | pmax-* | pmin | dec3100 | decstatn)
420 basic_machine=mips-dec
422 delta | 3300 | motorola-3300 | motorola-delta \
423 | 3300-motorola | delta-motorola)
424 basic_machine=m68k-motorola
427 basic_machine=m88k-motorola
431 basic_machine=rs6000-bull
435 basic_machine=m68k-bull
439 basic_machine=a29k-amd
443 basic_machine=elxsi-elxsi
446 encore | umax | mmax)
447 basic_machine=ns32k-encore
449 es1800 | OSE68k | ose68k | ose | OSE)
450 basic_machine=m68k-ericsson
454 basic_machine=i860-alliant
457 basic_machine=ns32k-ns
460 basic_machine=tron-gmicro
464 basic_machine=i386-pc
468 basic_machine=hppa1.1-hitachi
472 basic_machine=h8300-hitachi
476 basic_machine=h8300-hitachi
480 basic_machine=h8500-hitachi
484 basic_machine=m88k-harris
488 basic_machine=m68k-hp
491 basic_machine=m68k-hp
495 basic_machine=m68k-hp
498 hp3k9[0-9][0-9] | hp9[0-9][0-9])
499 basic_machine=hppa1.0-hp
501 hp9k2[0-9][0-9] | hp9k31[0-9])
502 basic_machine=m68000-hp
505 basic_machine=m68k-hp
507 hp9k6[0-9][0-9] | hp6[0-9][0-9])
508 basic_machine=hppa1.0-hp
510 hp9k7[0-79][0-9] | hp7[0-79][0-9])
511 basic_machine=hppa1.1-hp
513 hp9k78[0-9] | hp78[0-9])
514 # FIXME: really hppa2.0-hp
515 basic_machine=hppa1.1-hp
517 hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
518 # FIXME: really hppa2.0-hp
519 basic_machine=hppa1.1-hp
521 hp9k8[0-9][13679] | hp8[0-9][13679])
522 basic_machine=hppa1.1-hp
524 hp9k8[0-9][0-9] | hp8[0-9][0-9])
525 basic_machine=hppa1.0-hp
531 basic_machine=hppa1.1-hp
535 basic_machine=hppa1.1-hp
539 basic_machine=i370-ibm
541 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
543 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
547 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
551 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
555 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
559 basic_machine=i386-mach
563 basic_machine=i386-unknown
567 basic_machine=mips-sgi
577 basic_machine=m68k-isi
581 basic_machine=m88k-omron
584 basic_machine=mips-mips
588 basic_machine=ns32k-utek
592 basic_machine=i386-pc
596 basic_machine=m68000-convergent
598 *mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
599 basic_machine=m68k-atari
603 basic_machine=mipsel-unknown
607 basic_machine=mips-unknown
611 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
614 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
617 basic_machine=mmix-knuth
621 basic_machine=m68k-rom68k
625 basic_machine=i386-pc
629 basic_machine=i370-ibm
633 basic_machine=i486-ncr
637 basic_machine=i386-unknown
641 basic_machine=armv4l-rebel
644 news | news700 | news800 | news900)
645 basic_machine=m68k-sony
649 basic_machine=m68030-sony
652 news-3600 | risc-news)
653 basic_machine=mips-sony
657 basic_machine=v70-nec
661 basic_machine=m68k-next
674 basic_machine=m68k-harris
678 basic_machine=m88k-harris
682 basic_machine=i960-intel
686 basic_machine=i960-intel
690 basic_machine=mips-compaq
694 basic_machine=np1-gould
697 basic_machine=nsr-tandem
700 basic_machine=hppa1.1-oki
704 basic_machine=m68000-ericsson
708 basic_machine=m68k-none
712 basic_machine=hppa1.1-hitachi
716 basic_machine=i860-intel
720 basic_machine=sparc-tti
723 basic_machine=m68k-tti
726 basic_machine=ns32k-pc532
728 pentium | p5 | k5 | k6 | nexgen)
729 basic_machine=i586-pc
731 pentiumpro | p6 | 6x86 | athlon)
732 basic_machine=i686-pc
734 pentiumii | pentium2)
735 basic_machine=i686-pc
737 pentium-* | p5-* | k5-* | k6-* | nexgen-*)
738 basic_machine=i586-`echo $basic_machine | sed 's/^[^-]*-//'`
740 pentiumpro-* | p6-* | 6x86-* | athlon-*)
741 basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
743 pentiumii-* | pentium2-*)
744 basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
747 basic_machine=pn-gould
749 power) basic_machine=power-ibm
751 ppc) basic_machine=powerpc-unknown
753 ppc-*) basic_machine=powerpc-`echo $basic_machine | sed 's/^[^-]*-//'`
755 ppcle | powerpclittle | ppc-le | powerpc-little)
756 basic_machine=powerpcle-unknown
758 ppcle-* | powerpclittle-*)
759 basic_machine=powerpcle-`echo $basic_machine | sed 's/^[^-]*-//'`
761 ppc64) basic_machine=powerpc64-unknown
763 ppc64-*) basic_machine=powerpc64-`echo $basic_machine | sed 's/^[^-]*-//'`
765 ppc64le | powerpc64little | ppc64-le | powerpc64-little)
766 basic_machine=powerpc64le-unknown
768 ppc64le-* | powerpc64little-*)
769 basic_machine=powerpc64le-`echo $basic_machine | sed 's/^[^-]*-//'`
772 basic_machine=i386-ibm
775 basic_machine=i586-unknown
779 basic_machine=m68k-rom68k
783 basic_machine=mips-siemens
786 basic_machine=romp-ibm
789 basic_machine=a29k-amd
793 basic_machine=i386-sequent
796 basic_machine=sh-hitachi
800 basic_machine=sparclite-wrs
804 basic_machine=m68k-bull
808 basic_machine=spur-unknown
811 basic_machine=m68k-tandem
814 basic_machine=i860-stratus
818 basic_machine=m68000-sun
821 basic_machine=m68000-sun
825 basic_machine=m68000-sun
829 basic_machine=m68k-sun
833 basic_machine=m68k-sun
837 basic_machine=sparc-sun
841 basic_machine=sparc-sun
845 basic_machine=sparc-sun
849 basic_machine=m68k-sun
852 basic_machine=sparc-sun
854 sun386 | sun386i | roadrunner)
855 basic_machine=i386-sun
858 basic_machine=sv1-cray
862 basic_machine=i386-sequent
866 basic_machine=t3e-cray
870 basic_machine=tic54x-unknown
874 basic_machine=mipstx39-unknown
877 basic_machine=mipstx39el-unknown
880 basic_machine=m68k-ncr
883 basic_machine=a29k-amd
887 basic_machine=a29k-nyu
891 basic_machine=v810-nec
895 basic_machine=vax-dec
899 basic_machine=vax-dec
903 basic_machine=f301-fujitsu
906 basic_machine=i960-wrs
910 basic_machine=m68k-wrs
914 basic_machine=a29k-wrs
918 basic_machine=w65-wdc
922 basic_machine=hppa1.1-winbond
926 basic_machine=i386-pc
930 basic_machine=xmp-cray
934 basic_machine=xps100-honeywell
937 basic_machine=z8k-unknown
941 basic_machine=none-none
945 # Here we handle the default manufacturer of certain CPU types. It is in
946 # some cases the only manufacturer, in others, it is the most popular.
948 basic_machine=hppa1.1-winbond
951 basic_machine=hppa1.1-oki
954 basic_machine=hppa1.1-oki
957 if [ x$os = x-linux-gnu ]; then
958 basic_machine=mips-unknown
960 basic_machine=mips-mips
964 basic_machine=romp-ibm
967 basic_machine=rs6000-ibm
970 basic_machine=vax-dec
973 # there are many clones, so DEC is not a safe bet
974 basic_machine=pdp10-unknown
977 basic_machine=pdp11-dec
980 basic_machine=we32k-att
982 sh3 | sh4 | sh3eb | sh4eb)
983 basic_machine=sh-unknown
985 sparc | sparcv9 | sparcv9b)
986 basic_machine=sparc-sun
989 basic_machine=cydra-cydrome
992 basic_machine=orion-highlevel
995 basic_machine=clipper-highlevel
998 basic_machine=m68k-apple
1001 basic_machine=powerpc-apple
1004 basic_machine=c4x-none
1008 # Make sure to match an already-canonicalized machine name.
1011 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
1016 # Here we canonicalize certain aliases for manufacturers.
1017 case $basic_machine in
1019 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
1022 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
1028 # Decode manufacturer-specific aliases for certain operating systems.
1030 if [ x"$os" != x"" ]
1033 # First match some system type aliases
1034 # that might get confused with valid system types.
1035 # -solaris* is a basic system type, with this one exception.
1036 -solaris1 | -solaris1.*)
1037 os=`echo $os | sed -e 's|solaris1|sunos4|'`
1049 os=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
1051 # First accept the basic system types.
1052 # The portable systems comes first.
1053 # Each alternative MUST END IN A *, to match a version number.
1054 # -sysv* is not here because it comes later, after sysvr4.
1055 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1056 | -*vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]*\
1057 | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
1058 | -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \
1060 | -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \
1061 | -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \
1062 | -hiux* | -386bsd* | -netbsd* | -openbsd* | -freebsd* | -riscix* \
1063 | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* | -oabi* \
1064 | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
1065 | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
1066 | -chorusos* | -chorusrdb* \
1067 | -cygwin* | -pe* | -psos* | -moss* | -proelf* | -rtems* \
1068 | -mingw32* | -linux-gnu* | -uxpv* | -beos* | -mpeix* | -udk* \
1069 | -interix* | -uwin* | -rhapsody* | -darwin* | -opened* \
1070 | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
1071 | -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* \
1073 # Remember, each alternative MUST END IN *, to match a version number.
1076 case $basic_machine in
1087 -sim | -es1800* | -hms* | -xray | -os68k* | -none* | -v88r* \
1088 | -windows* | -osx | -abug | -netware* | -os9* | -beos* \
1089 | -macos* | -mpw* | -magic* | -mmixware* | -mon960* | -lnews*)
1092 os=`echo $os | sed -e 's|mac|macos|'`
1095 os=`echo $os | sed -e 's|linux|linux-gnu|'`
1098 os=`echo $os | sed -e 's|sunos5|solaris2|'`
1101 os=`echo $os | sed -e 's|sunos6|solaris3|'`
1136 # Preserve the version number of sinix5.
1138 os=`echo $os | sed -e 's|sinix|sysv|'`
1158 # This must come after -sysvr4.
1170 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1176 # Get rid of the `-' at the beginning of $os.
1177 os=`echo $os | sed 's/[^-]*-//'`
1178 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
1184 # Here we handle the default operating systems that come with various machines.
1185 # The value should be what the vendor currently ships out the door with their
1186 # machine or put another way, the most popular os provided with the machine.
1188 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1189 # "-sun"), then you have to tell the case statement up towards the top
1190 # that MANUFACTURER isn't an operating system. Otherwise, code above
1191 # will signal an error saying that MANUFACTURER isn't an operating
1192 # system, and we'll never get to this point.
1194 case $basic_machine in
1221 # This also exists in the configure program, but was not the
1234 *-tti) # must be before sparc entry or we get the wrong os.
1261 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
1315 f30[01]-fujitsu | f700-fujitsu)
1336 # Here we handle the case where we know the os, and the CPU type, but not the
1337 # manufacturer. We pick the logical manufacturer.
1339 case $basic_machine in
1381 -vxsim* | -vxworks*)
1393 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1400 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
1404 echo $basic_machine$os
1408 # eval: (add-hook 'write-file-hooks 'time-stamp)
1409 # time-stamp-start: "timestamp='"
1410 # time-stamp-format: "%:y-%02m-%02d"
1411 # time-stamp-end: "'"