2 # Configuration validation subroutine script.
3 # Copyright 1992-2021 Free Software Foundation, Inc.
7 # This file is free software; you can redistribute it and/or modify it
8 # under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 3 of the License, or
10 # (at your option) any later version.
12 # This program is distributed in the hope that it will be useful, but
13 # WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 # General Public License for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with this program; if not, see <https://www.gnu.org/licenses/>.
20 # As a special exception to the GNU General Public License, if you
21 # distribute this file as part of a program that contains a
22 # configuration script generated by Autoconf, you may include it under
23 # the same distribution terms that you use for the rest of that
24 # program. This Exception is an additional permission under section 7
25 # of the GNU General Public License, version 3 ("GPLv3").
28 # Please send patches to <config-patches@gnu.org>.
30 # Configuration subroutine to validate and canonicalize a configuration type.
31 # Supply the specified configuration type as an argument.
32 # If it is invalid, we print an error message on stderr and exit with code 1.
33 # Otherwise, we print the canonical config type on stdout and succeed.
35 # You can get the latest version of this script from:
36 # https://git.savannah.gnu.org/cgit/config.git/plain/config.sub
38 # This file is supposed to be the same for all GNU packages
39 # and recognize all the CPU types, system types and aliases
40 # that are meaningful with *any* GNU software.
41 # Each package is responsible for reporting which valid configurations
42 # it does not support. The user should be able to distinguish
43 # a failure to support a valid configuration from a meaningless
46 # The goal of this file is to map all the various variations of a given
47 # machine specification into a single specification in the form:
48 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
49 # or in some cases, the newer four-part form:
50 # CPU_TYPE-MANUFACTURER-KERNEL-OPERATING_SYSTEM
51 # It is wrong to echo any other type of specification.
53 me
=$
(echo "$0" |
sed -e 's,.*/,,')
56 Usage: $0 [OPTION] CPU-MFR-OPSYS or ALIAS
58 Canonicalize a configuration name.
61 -h, --help print this help, then exit
62 -t, --time-stamp print date of last modification, then exit
63 -v, --version print version number, then exit
65 Report bugs and patches to <config-patches@gnu.org>."
68 GNU config.sub ($timestamp)
70 Copyright 1992-2021 Free Software Foundation, Inc.
72 This is free software; see the source for copying conditions. There is NO
73 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE."
76 Try \`$me --help' for more information."
79 while test $# -gt 0 ; do
81 --time-stamp |
--time* |
-t )
82 echo "$timestamp" ; exit ;;
84 echo "$version" ; exit ;;
86 echo "$usage"; exit ;;
87 -- ) # Stop option processing
89 - ) # Use stdin as input.
92 echo "$me: invalid option $1$help" >&2
96 # First pass through any local machine types.
106 0) echo "$me: missing argument$help" >&2
109 *) echo "$me: too many arguments$help" >&2
113 # Split fields of configuration type
114 # shellcheck disable=SC2162
115 IFS
="-" read field1 field2 field3 field4
<<EOF
119 # Separate into logical components for further validation
122 echo Invalid configuration \
`"$1"\': more than four components >&2
126 basic_machine=$field1-$field2
127 basic_os=$field3-$field4
130 # Ambiguous whether COMPANY is present, or skipped and KERNEL-OS is two
132 maybe_os=$field2-$field3
134 nto-qnx* | linux-* | uclinux-uclibc* \
135 | uclinux-gnu* | kfreebsd*-gnu* | knetbsd*-gnu* | netbsd*-gnu* \
136 | netbsd*-eabi* | kopensolaris*-gnu* | cloudabi*-eabi* \
137 | storm-chaos* | os2-emx* | rtmk-nova*)
138 basic_machine=$field1
142 basic_machine=$field1-unknown
143 basic_os=linux-android
146 basic_machine=$field1-$field2
152 # A lone config we happen to match not fitting any pattern
153 case $field1-$field2 in
155 basic_machine=mips-dec
159 # Second component is usually, but not always the OS
161 # Prevent following clause from handling this valid os
163 basic_machine=$field1
167 dec* | mips* | sequent* | encore* | pc533* | sgi* | sony* \
168 | att* | 7300* | 3300* | delta* | motorola* | sun[234]* \
169 | unicom* | ibm* | next | hp | isi* | apollo | altos* \
170 | convergent* | ncr* | news | 32* | 3600* | 3100* \
171 | hitachi* | c[123]* | convex* | sun | crds | omron* | dg \
172 | ultra | tti* | harris | dolphin | highlevel | gould \
173 | cbm | ns | masscomp | apple | axis | knuth | cray \
174 | microblaze* | sim | cisco \
175 | oki | wec | wrs | winbond)
176 basic_machine=$field1-$field2
180 basic_machine=$field1
188 # Convert single-component short-hands not valid as part of
189 # multi-component configurations.
192 basic_machine=i386-pc
196 basic_machine=a29k-amd
200 basic_machine=m68010-adobe
204 basic_machine=fx80-alliant
208 basic_machine=m68k-altos
212 basic_machine=a29k-none
216 basic_machine=580-amdahl
220 basic_machine=m68k-unknown
224 basic_machine=m68k-unknown
228 basic_machine=m68k-unknown
232 basic_machine=m68k-apollo
236 basic_machine=m68k-apollo
240 basic_machine=i386-pc
244 basic_machine=m68k-apple
248 basic_machine=ns32k-sequent
252 basic_machine=bfin-unknown
256 basic_machine=arm-unknown
260 basic_machine=c1-convex
264 basic_machine=c2-convex
268 basic_machine=c32-convex
272 basic_machine=c34-convex
276 basic_machine=c38-convex
280 basic_machine=j90-cray
284 basic_machine=m68k-crds
288 basic_machine=m68k-da30
291 decstation | pmax | pmin | dec3100 | decstatn)
292 basic_machine=mips-dec
296 basic_machine=m88k-motorola
300 basic_machine=i686-pc
304 basic_machine=i586-pc
308 basic_machine=a29k-amd
311 es1800 | OSE68k | ose68k | ose | OSE)
312 basic_machine=m68k-ericsson
316 basic_machine=tron-gmicro
320 basic_machine=i386-pc
324 basic_machine=h8300-hitachi
328 basic_machine=h8300-hitachi
332 basic_machine=h8500-hitachi
336 basic_machine=m88k-harris
340 basic_machine=m68k-hp
344 basic_machine=m68k-hp
348 basic_machine=hppa1.1-hp
352 basic_machine=hppa1.1-hp
356 basic_machine=i386-mach
360 basic_machine=m68k-isi
364 basic_machine=m68k-unknown
368 basic_machine=mips-mips
372 basic_machine=ns32k-utek
376 basic_machine=x86_64-pc
380 basic_machine=i686-pc
384 basic_machine=arm-unknown
388 basic_machine=m68k-rom68k
392 basic_machine=powerpc-unknown
396 basic_machine=moxie-unknown
400 basic_machine=i386-pc
404 basic_machine=i686-pc
408 basic_machine=i370-ibm
412 basic_machine=le32-unknown
416 basic_machine=i486-ncr
420 basic_machine=i386-pc
424 basic_machine=armv4l-rebel
427 news | news700 | news800 | news900)
428 basic_machine=m68k-sony
432 basic_machine=m68030-sony
436 basic_machine=v70-nec
440 basic_machine=m68k-harris
444 basic_machine=m88k-harris
448 basic_machine=i960-intel
452 basic_machine=i960-intel
456 basic_machine=mips-compaq
460 basic_machine=powerpc-ibm
464 basic_machine=m68000-ericsson
468 basic_machine=m68k-none
472 basic_machine=i860-intel
476 basic_machine=hppa-unknown
480 basic_machine=mipsallegrexel-sony
484 basic_machine=i586-unknown
488 basic_machine=x86_64-pc
492 basic_machine=i386-pc
496 basic_machine=m68k-rom68k
500 basic_machine=a29k-amd
504 basic_machine=mips-sei
508 basic_machine=i386-sequent
512 basic_machine=m68k-bull
516 basic_machine=m68k-tandem
520 basic_machine=i860-stratus
524 basic_machine=m68000-sun
528 basic_machine=m68000-sun
532 basic_machine=m68000-sun
536 basic_machine=m68k-sun
540 basic_machine=m68k-sun
544 basic_machine=m68k-sun
548 basic_machine=sparc-sun
552 basic_machine=sparc-sun
556 basic_machine=sparc-sun
560 basic_machine=sparc-sun
563 sun386 | sun386i | roadrunner)
564 basic_machine=i386-sun
568 basic_machine=sv1-cray
572 basic_machine=i386-sequent
576 basic_machine=alphaev5-cray
580 basic_machine=t90-cray
584 basic_machine=pdp10-xkl
588 basic_machine=s390x-ibm
592 basic_machine=a29k-amd
596 basic_machine=a29k-nyu
600 basic_machine=v810-nec
604 basic_machine=vax-dec
608 basic_machine=vax-dec
612 basic_machine=i386-pc
616 basic_machine=i960-wrs
620 basic_machine=m68k-wrs
624 basic_machine=a29k-wrs
628 basic_machine=i686-pc
632 basic_machine=ymp-cray
643 # Decode 1-component or ad-hoc basic machines
644 case $basic_machine in
645 # Here we handle the default manufacturer of certain CPU types. It is in
646 # some cases the only manufacturer, in others, it is the most popular.
676 # Recognize the various machine names and aliases which stand
677 # for a CPU type and a company and sometimes even an OS.
678 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
691 decsystem10* | dec10*)
696 decsystem20* | dec20*)
701 delta | 3300 | motorola-3300 | motorola-delta \
702 | 3300-motorola | delta-motorola)
711 encore | umax | mmax)
718 basic_os=${basic_os:-bsd}
733 hp3k9[0-9][0-9] | hp9[0-9][0-9])
737 hp9k2[0-9][0-9] | hp9k31[0-9])
745 hp9k6[0-9][0-9] | hp6[0-9][0-9])
749 hp9k7[0-79][0-9] | hp7[0-79][0-9])
753 hp9k78[0-9] | hp78[0-9])
754 # FIXME: really hppa2.0-hp
758 hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
759 # FIXME: really hppa2.0-hp
763 hp9k8[0-9][13679] | hp8[0-9][13679])
767 hp9k8[0-9][0-9] | hp8[0-9][0-9])
772 cpu=$(echo "$1" | sed -e 's/86.*/86/')
777 cpu=$(echo "$1" | sed -e 's/86.*/86/')
782 cpu=$(echo "$1" | sed -e 's/86.*/86/')
787 cpu=$(echo "$1" | sed -e 's/86.*/86/')
794 basic_os=${basic_os:-unicos}
811 *mint | mint[0-9]* | *MiNT | *MiNT[0-9]*)
816 news-3600 | risc-news)
886 basic_os=${basic_os:-elf}
916 vendor=$basic_machine
920 vendor=$(echo "$basic_machine" | sed 's/-.*//')
924 # shellcheck disable=SC2162
925 IFS="-" read cpu vendor <<EOF
929 # We use `pc
' rather than `unknown'
930 # because (1) that's what they normally are, and
931 # (2) the word "unknown" tends to confuse beginning users.
936 # These rules are duplicated from below for sake of the special case above;
937 # i.e. things that normalized to x86 arches should also default to "pc"
946 # Recognize the basic CPU types without company name.
953 unset -v basic_machine
955 # Decode basic machines in the full and proper CPU-Company form.
957 # Here we handle the default manufacturer of certain CPU types in canonical form. It is in
958 # some cases the only manufacturer, in others, it is the most popular.
961 basic_os
=${basic_os:-unicosmp}
963 c90-unknown | c90-cray
)
965 basic_os
=${Basic_os:-unicos}
976 microblaze-unknown | microblazeel-unknown
)
1000 xps-unknown | xps100-unknown
)
1005 # Here we normalize CPU types with a missing or matching vendor
1006 dpx20-unknown | dpx20-bull
)
1009 basic_os
=${basic_os:-bosx}
1012 # Here we normalize CPU types irrespective of the vendor
1031 basic_os
=${basic_os}"spe"
1043 m9s12z-
* | m68hcs12z-
* | hcs12z-
* | s12z-
*)
1053 pentium-
* | p5-
* | k5-
* | k6-
* | nexgen-
* | viac3-
*)
1056 pentiumpro-
* | p6-
* |
6x86-
* | athlon-
* | athalon_
*-*)
1059 pentiumii-
* | pentium2-
* | pentiumiii-
* | pentium3-
*)
1071 ppcle-
* | powerpclittle-
*)
1077 ppc64le-
* | powerpc64little-
*)
1087 cpu
=$
(echo "$cpu" |
sed 's/^\(sh.\)e\(.\)$/\1\2e/')
1092 strongarm-
* | thumb-
*)
1104 xscale-
* | xscalee
[bl
]-*)
1105 cpu
=$
(echo "$cpu" |
sed 's/^xscale/arm/')
1111 # Recognize the canonical CPU Types that limit and/or modify the
1112 # company names they are paired with.
1114 basic_os
=${basic_os:-elf}
1116 crisv32-
* | etraxfs
*-*)
1125 basic_os
=${basic_os:-elf}
1147 mipsallegrexel-sony
)
1152 basic_os
=${basic_os:-linux-gnu}
1156 # Recognize the canonical CPU types that are allowed with any
1161 | aarch64 | aarch64_be \
1163 | alpha | alphaev
[4-8] | alphaev56 | alphaev6
[78] \
1164 | alpha64 | alpha64ev
[4-8] | alpha64ev56 | alpha64ev6
[78] \
1165 | alphapca5
[67] | alpha64pca5
[67] \
1168 | arc | arceb | arc64 \
1169 | arm | arm
[lb
]e | arme
[lb
] | armv
* \
1174 | bfin | bpf | bs2000 \
1175 | c
[123]* | c30 |
[cjt
]90 | c4x \
1176 | c8051 | clipper | craynv | csky | cydra \
1177 | d10v | d30v | dlx | dsp16xx \
1178 | e2k | elxsi | epiphany \
1179 | f30
[01] | f700 | fido | fr30 | frv | ft32 | fx80 \
1181 | hppa | hppa1.
[01] | hppa2.0 | hppa2.0
[nw
] | hppa64 \
1183 | i370 | i
*86 | i860 | i960 | ia16 | ia64 \
1188 | loongarch32 | loongarch64 | loongarchx32 \
1189 | m32c | m32r | m32rle \
1190 | m5200 | m68000 | m680
[012346]0 | m68360 | m683?
2 | m68k \
1191 | m6811 | m68hc11 | m6812 | m68hc12 | m68hcs12x \
1192 | m88110 | m88k | maxq | mb | mcore | mep | metag \
1193 | microblaze | microblazeel \
1194 | mips | mipsbe | mipseb | mipsel | mipsle \
1196 | mips64 | mips64eb | mips64el \
1197 | mips64octeon | mips64octeonel \
1198 | mips64orion | mips64orionel \
1199 | mips64r5900 | mips64r5900el \
1200 | mips64vr | mips64vrel \
1201 | mips64vr4100 | mips64vr4100el \
1202 | mips64vr4300 | mips64vr4300el \
1203 | mips64vr5000 | mips64vr5000el \
1204 | mips64vr5900 | mips64vr5900el \
1205 | mipsisa32 | mipsisa32el \
1206 | mipsisa32r2 | mipsisa32r2el \
1207 | mipsisa32r3 | mipsisa32r3el \
1208 | mipsisa32r5 | mipsisa32r5el \
1209 | mipsisa32r6 | mipsisa32r6el \
1210 | mipsisa64 | mipsisa64el \
1211 | mipsisa64r2 | mipsisa64r2el \
1212 | mipsisa64r3 | mipsisa64r3el \
1213 | mipsisa64r5 | mipsisa64r5el \
1214 | mipsisa64r6 | mipsisa64r6el \
1215 | mipsisa64sb1 | mipsisa64sb1el \
1216 | mipsisa64sr71k | mipsisa64sr71kel \
1217 | mipsr5900 | mipsr5900el \
1218 | mipstx39 | mipstx39el \
1220 | mn10200 | mn10300 \
1224 | nds32 | nds32le | nds32be \
1226 | nios | nios2 | nios2eb | nios2el \
1227 | none | np1 | ns16k | ns32k | nvptx \
1233 | pdp10 | pdp11 | pj | pjl | pn | power \
1234 | powerpc | powerpc64 | powerpc64le | powerpcle | powerpcspe \
1237 | riscv | riscv32 | riscv32be | riscv64 | riscv64be \
1238 | rl78 | romp | rs6000 | rx \
1242 | sh
[1234] | sh
[24]a | sh
[24]ae
[lb
] | sh
[23]e | she
[lb
] | sh
[lb
]e \
1243 | sh
[1234]e
[lb
] | sh
[12345][lb
]e | sh
[23]ele | sh64 | sh64le \
1244 | sparc | sparc64 | sparc64b | sparc64v | sparc86x | sparclet \
1246 | sparcv8 | sparcv9 | sparcv9b | sparcv9v | sv1 | sx
* \
1250 | tic30 | tic4x | tic54x | tic55x | tic6x | tic80 \
1253 | v70 | v850 | v850e | v850e1 | v850es | v850e2 | v850e2v3 \
1259 | x86 | x86_64 | xc16x | xgate | xps100 \
1260 | xstormy16 | xtensa
* \
1266 echo Invalid configuration \
`"$1"\': machine \`"$cpu-$vendor"\' not recognized
1>&2
1273 # Here we canonicalize certain aliases for manufacturers.
1285 # Decode manufacturer-specific aliases for certain operating systems.
1287 if test x
$basic_os != x
1290 # First recognize some ad-hoc caes, or perhaps split kernel-os, or else just
1295 os
=$
(echo $basic_os |
sed -e 's|gnu/linux|gnu|')
1299 os
=$
(echo $basic_os |
sed -e 's|os2-emx|emx|')
1303 os
=$
(echo $basic_os |
sed -e 's|nto-qnx|qnx|')
1306 # shellcheck disable=SC2162
1307 IFS
="-" read kernel os
<<EOF
1311 # Default OS when just kernel was specified
1314 os
=$
(echo $basic_os |
sed -e 's|nto|qnx|')
1318 os
=$
(echo $basic_os |
sed -e 's|linux|gnu|')
1326 # Now, normalize the OS (knowing we just have one component, it's not a kernel,
1329 # First match some system type aliases that might get confused
1330 # with valid system types.
1331 # solaris* is a basic system type, with this one exception.
1338 solaris1 | solaris1.
*)
1339 os
=$
(echo $os |
sed -e 's|solaris1|sunos4|')
1347 # es1800 is here to avoid being matched by es* (a different OS)
1351 # Some version numbers need modification
1368 os
=$
(echo $os |
sed -e 's/sco3.2./sco3.2v/')
1392 # don't get caught up in next wildcard
1398 os
=$
(echo "$os" |
sed -e 's|mac|macos|')
1407 os
=$
(echo "$os" |
sed -e 's|sunos5|solaris2|')
1410 os
=$
(echo "$os" |
sed -e 's|sunos6|solaris3|')
1442 # Preserve the version number of sinix5.
1444 os
=$
(echo $os |
sed -e 's|sinix|sysv|')
1470 *mint | mint
[0-9]* |
*MiNT | MiNT
[0-9]*)
1477 # Until real need of OS specific support for
1478 # particular features comes up, bare metal
1479 # configurations are quite functional.
1490 # No normalization, but not necessarily accepted, that comes below.
1496 # Here we handle the default operating systems that come with various machines.
1497 # The value should be what the vendor currently ships out the door with their
1498 # machine or put another way, the most popular os provided with the machine.
1500 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1501 # "-sun"), then you have to tell the case statement up towards the top
1502 # that MANUFACTURER isn't an operating system. Otherwise, code above
1503 # will signal an error saying that MANUFACTURER isn't an operating
1504 # system, and we'll never get to this point.
1507 case $cpu-$vendor in
1545 # This must come before the *-dec entry.
1579 *-tti) # must be before sparc entry or we get the wrong os.
1612 i860-
* |
*-att |
*-ncr |
*-altos |
*-motorola |
*-convergent)
1663 f30
[01]-fujitsu | f700-fujitsu
)
1688 # Now, validate our (potentially fixed-up) OS.
1690 # Sometimes we do "kernel-libc", so those need to count as OSes.
1691 musl
* | newlib
* | uclibc
*)
1693 # Likewise for "kernel-abi"
1696 # VxWorks passes extra cpu info in the 4th filed.
1697 simlinux | simwindows | spe
)
1699 # Now accept the basic system types.
1700 # The portable systems comes first.
1701 # Each alternative MUST end in a * to match a version number.
1702 gnu
* | android
* | bsd
* | mach
* | minix
* | genix
* | ultrix
* | irix
* \
1703 |
*vms
* | esix
* | aix
* | cnk
* | sunos | sunos
[34]* \
1704 | hpux
* | unos
* | osf
* | luna
* | dgux
* | auroraux
* | solaris
* \
1705 | sym
* | plan9
* | psp
* | sim
* | xray
* | os68k
* | v88r
* \
1706 | hiux
* | abug | nacl
* | netware
* | windows
* \
1707 | os9
* | macos
* | osx
* | ios
* \
1708 | mpw
* | magic
* | mmixware
* | mon960
* | lnews
* \
1709 | amigaos
* | amigados
* | msdos
* | newsos
* | unicos
* | aof
* \
1710 | aos
* | aros
* | cloudabi
* | sortix
* | twizzler
* \
1711 | nindy
* | vxsim
* | vxworks
* | ebmon
* | hms
* | mvs
* \
1712 | clix
* | riscos
* | uniplus
* | iris
* | isc
* | rtu
* | xenix
* \
1713 | mirbsd
* | netbsd
* | dicos
* | openedition
* | ose
* \
1714 | bitrig
* | openbsd
* | secbsd
* | solidbsd
* | libertybsd
* | os108
* \
1715 | ekkobsd
* | freebsd
* | riscix
* | lynxos
* | os400
* \
1716 | bosx
* | nextstep
* | cxux
* | aout
* | elf
* | oabi
* \
1717 |
ptx* | coff
* | ecoff
* | winnt
* | domain
* | vsta
* \
1718 | udi
* | lites
* | ieee
* | go32
* | aux
* | hcos
* \
1719 | chorusrdb
* | cegcc
* | glidix
* | serenity
* \
1720 | cygwin
* | msys
* | pe
* | moss
* | proelf
* | rtems
* \
1721 | midipix
* | mingw32
* | mingw64
* | mint
* \
1722 | uxpv
* | beos
* | mpeix
* | udk
* | moxiebox
* \
1723 | interix
* | uwin
* | mks
* | rhapsody
* | darwin
* \
1724 | openstep
* | oskit
* | conix
* | pw32
* | nonstopux
* \
1725 | storm-chaos
* | tops10
* | tenex
* | tops20
* | its
* \
1726 | os2
* | vos
* | palmos
* | uclinux
* | nucleus
* | morphos
* \
1727 | scout
* | superux
* | sysv
* | rtmk
* | tpf
* | windiss
* \
1728 | powermax
* | dnix
* | nx6 | nx7 | sei
* | dragonfly
* \
1729 | skyos
* | haiku
* | rdos
* | toppers
* | drops
* | es
* \
1730 | onefs
* | tirtos
* | phoenix
* | fuchsia
* | redox
* | bme
* \
1731 | midnightbsd
* | amdhsa
* | unleashed
* | emscripten
* | wasi
* \
1732 | nsk
* | powerunix
* | genode
* | zvmoe
* | qnx
* | emx
*)
1734 # This one is extra strict with allowed versions
1735 sco3.2v2 | sco3.2v
[4-9]* | sco5v6
*)
1736 # Don't forget version if it is 3.2v4 or newer.
1741 echo Invalid configuration \
`"$1"\': OS \`"$os"\' not recognized
1>&2
1746 # As a final step for OS-related things, validate the OS-kernel combination
1747 # (given a valid OS), if there is a kernel.
1749 linux-gnu
* | linux-dietlibc
* | linux-android
* | linux-newlib
* | linux-musl
* | linux-uclibc
* )
1753 -dietlibc* |
-newlib* |
-musl* |
-uclibc* )
1754 # These are just libc implementations, not actual OSes, and thus
1756 echo "Invalid configuration \`$1': libc \`$os' needs explicit kernel." 1>&2
1759 kfreebsd
*-gnu* | kopensolaris
*-gnu*)
1761 vxworks-simlinux | vxworks-simwindows | vxworks-spe
)
1767 *-eabi* |
*-gnueabi*)
1770 # Blank kernel with real OS is always fine.
1773 echo "Invalid configuration \`$1': Kernel \`$kernel' not known to work with OS \`$os'." 1>&2
1778 # Here we handle the case where we know the os, and the CPU type, but not the
1779 # manufacturer. We pick the logical manufacturer.
1834 *-vxsim* |
*-vxworks* |
*-windiss*)
1846 *-*mint |
*-mint[0-9]* |
*-*MiNT |
*-MiNT[0-9]*)
1856 echo "$cpu-$vendor-${kernel:+$kernel-}$os"
1860 # eval: (add-hook 'before-save-hook 'time-stamp)
1861 # time-stamp-start: "timestamp='"
1862 # time-stamp-format: "%:y-%02m-%02d"
1863 # time-stamp-end: "'"