2 # Configuration validation subroutine script.
3 # Copyright 1992-2023 Free Software Foundation, Inc.
5 # shellcheck disable=SC2006,SC2268 # see below for rationale
9 # This file is free software; you can redistribute it and/or modify it
10 # under the terms of the GNU General Public License as published by
11 # the Free Software Foundation, either version 3 of the License, or
12 # (at your option) any later version.
14 # This program is distributed in the hope that it will be useful, but
15 # WITHOUT ANY WARRANTY; without even the implied warranty of
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 # General Public License for more details.
19 # You should have received a copy of the GNU General Public License
20 # along with this program; if not, see <https://www.gnu.org/licenses/>.
22 # As a special exception to the GNU General Public License, if you
23 # distribute this file as part of a program that contains a
24 # configuration script generated by Autoconf, you may include it under
25 # the same distribution terms that you use for the rest of that
26 # program. This Exception is an additional permission under section 7
27 # of the GNU General Public License, version 3 ("GPLv3").
30 # Please send patches to <config-patches@gnu.org>.
32 # Configuration subroutine to validate and canonicalize a configuration type.
33 # Supply the specified configuration type as an argument.
34 # If it is invalid, we print an error message on stderr and exit with code 1.
35 # Otherwise, we print the canonical config type on stdout and succeed.
37 # You can get the latest version of this script from:
38 # https://git.savannah.gnu.org/cgit/config.git/plain/config.sub
40 # This file is supposed to be the same for all GNU packages
41 # and recognize all the CPU types, system types and aliases
42 # that are meaningful with *any* GNU software.
43 # Each package is responsible for reporting which valid configurations
44 # it does not support. The user should be able to distinguish
45 # a failure to support a valid configuration from a meaningless
48 # The goal of this file is to map all the various variations of a given
49 # machine specification into a single specification in the form:
50 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
51 # or in some cases, the newer four-part form:
52 # CPU_TYPE-MANUFACTURER-KERNEL-OPERATING_SYSTEM
53 # It is wrong to echo any other type of specification.
55 # The "shellcheck disable" line above the timestamp inhibits complaints
56 # about features and limitations of the classic Bourne shell that were
57 # superseded or lifted in POSIX. However, this script identifies a wide
58 # variety of pre-POSIX systems that do not have POSIX shells at all, and
59 # even some reasonably current systems (Solaris 10 as case-in-point) still
60 # have a pre-POSIX /bin/sh.
62 me=`echo "$0" | sed -e 's,.*/,,'`
65 Usage: $0 [OPTION] CPU-MFR-OPSYS or ALIAS
67 Canonicalize a configuration name.
70 -h, --help print this help, then exit
71 -t, --time-stamp print date of last modification, then exit
72 -v, --version print version number, then exit
74 Report bugs and patches to <config-patches@gnu.org>."
77 GNU config.sub ($timestamp)
79 Copyright 1992-2023 Free Software Foundation, Inc.
81 This is free software; see the source for copying conditions. There is NO
82 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE."
85 Try '$me --help' for more information."
88 while test $# -gt 0 ; do
90 --time-stamp | --time* | -t )
91 echo "$timestamp" ; exit ;;
93 echo "$version" ; exit ;;
95 echo "$usage"; exit ;;
96 -- ) # Stop option processing
98 - ) # Use stdin as input.
101 echo "$me: invalid option $1$help" >&2
105 # First pass through any local machine types.
115 0) echo "$me: missing argument$help" >&2
118 *) echo "$me: too many arguments$help" >&2
122 # Split fields of configuration type
123 # shellcheck disable=SC2162
125 IFS="-" read field1 field2 field3 field4 <<EOF
130 # Separate into logical components for further validation
133 echo "Invalid configuration '$1': more than four components" >&2
137 basic_machine=$field1-$field2
138 basic_os=$field3-$field4
141 # Ambiguous whether COMPANY is present, or skipped and KERNEL-OS is two
143 maybe_os=$field2-$field3
145 nto-qnx* | linux-* | uclinux-uclibc* \
146 | uclinux-gnu* | kfreebsd*-gnu* | knetbsd*-gnu* | netbsd*-gnu* \
147 | netbsd*-eabi* | kopensolaris*-gnu* | cloudabi*-eabi* \
148 | storm-chaos* | os2-emx* | rtmk-nova* | managarm-* \
150 basic_machine=$field1
154 basic_machine=$field1-unknown
155 basic_os=linux-android
158 basic_machine=$field1-$field2
164 # A lone config we happen to match not fitting any pattern
165 case $field1-$field2 in
167 basic_machine=mips-dec
171 # Second component is usually, but not always the OS
173 # Prevent following clause from handling this valid os
175 basic_machine=$field1
179 basic_machine=$field1-unknown
183 dec* | mips* | sequent* | encore* | pc533* | sgi* | sony* \
184 | att* | 7300* | 3300* | delta* | motorola* | sun[234]* \
185 | unicom* | ibm* | next | hp | isi* | apollo | altos* \
186 | convergent* | ncr* | news | 32* | 3600* | 3100* \
187 | hitachi* | c[123]* | convex* | sun | crds | omron* | dg \
188 | ultra | tti* | harris | dolphin | highlevel | gould \
189 | cbm | ns | masscomp | apple | axis | knuth | cray \
190 | microblaze* | sim | cisco \
191 | oki | wec | wrs | winbond)
192 basic_machine=$field1-$field2
196 basic_machine=$field1
204 # Convert single-component short-hands not valid as part of
205 # multi-component configurations.
208 basic_machine=i386-pc
212 basic_machine=a29k-amd
216 basic_machine=m68010-adobe
220 basic_machine=fx80-alliant
224 basic_machine=m68k-altos
228 basic_machine=a29k-none
232 basic_machine=580-amdahl
236 basic_machine=m68k-unknown
240 basic_machine=m68k-unknown
244 basic_machine=m68k-unknown
248 basic_machine=m68k-apollo
252 basic_machine=m68k-apollo
256 basic_machine=i386-pc
260 basic_machine=m68k-apple
264 basic_machine=ns32k-sequent
268 basic_machine=bfin-unknown
272 basic_machine=arm-unknown
276 basic_machine=c1-convex
280 basic_machine=c2-convex
284 basic_machine=c32-convex
288 basic_machine=c34-convex
292 basic_machine=c38-convex
296 basic_machine=j90-cray
300 basic_machine=m68k-crds
304 basic_machine=m68k-da30
307 decstation | pmax | pmin | dec3100 | decstatn)
308 basic_machine=mips-dec
312 basic_machine=m88k-motorola
316 basic_machine=i686-pc
320 basic_machine=i586-pc
324 basic_machine=a29k-amd
327 es1800 | OSE68k | ose68k | ose | OSE)
328 basic_machine=m68k-ericsson
332 basic_machine=tron-gmicro
336 basic_machine=i386-pc
340 basic_machine=h8300-hitachi
344 basic_machine=h8300-hitachi
348 basic_machine=h8500-hitachi
352 basic_machine=m88k-harris
356 basic_machine=m68k-hp
360 basic_machine=m68k-hp
364 basic_machine=hppa1.1-hp
368 basic_machine=hppa1.1-hp
372 basic_machine=i386-mach
376 basic_machine=m68k-isi
380 basic_machine=m68k-unknown
384 basic_machine=mips-mips
388 basic_machine=ns32k-utek
392 basic_machine=x86_64-pc
396 basic_machine=i686-pc
400 basic_machine=arm-unknown
404 basic_machine=m68k-rom68k
408 basic_machine=powerpc-unknown
412 basic_machine=moxie-unknown
416 basic_machine=i386-pc
420 basic_machine=i686-pc
424 basic_machine=i370-ibm
428 basic_machine=le32-unknown
432 basic_machine=i486-ncr
436 basic_machine=i386-pc
440 basic_machine=armv4l-rebel
443 news | news700 | news800 | news900)
444 basic_machine=m68k-sony
448 basic_machine=m68030-sony
452 basic_machine=v70-nec
456 basic_machine=m68k-harris
460 basic_machine=m88k-harris
464 basic_machine=i960-intel
468 basic_machine=i960-intel
472 basic_machine=mips-compaq
476 basic_machine=powerpc-ibm
480 basic_machine=m68000-ericsson
484 basic_machine=m68k-none
488 basic_machine=i860-intel
492 basic_machine=hppa-unknown
496 basic_machine=mipsallegrexel-sony
500 basic_machine=i586-unknown
504 basic_machine=x86_64-pc
508 basic_machine=i386-pc
512 basic_machine=m68k-rom68k
516 basic_machine=a29k-amd
520 basic_machine=mips-sei
524 basic_machine=i386-sequent
528 basic_machine=m68k-bull
532 basic_machine=m68k-tandem
536 basic_machine=i860-stratus
540 basic_machine=m68000-sun
544 basic_machine=m68000-sun
548 basic_machine=m68000-sun
552 basic_machine=m68k-sun
556 basic_machine=m68k-sun
560 basic_machine=m68k-sun
564 basic_machine=sparc-sun
568 basic_machine=sparc-sun
572 basic_machine=sparc-sun
576 basic_machine=sparc-sun
579 sun386 | sun386i | roadrunner)
580 basic_machine=i386-sun
584 basic_machine=sv1-cray
588 basic_machine=i386-sequent
592 basic_machine=alphaev5-cray
596 basic_machine=t90-cray
600 basic_machine=pdp10-xkl
604 basic_machine=s390x-ibm
608 basic_machine=a29k-amd
612 basic_machine=a29k-nyu
616 basic_machine=v810-nec
620 basic_machine=vax-dec
624 basic_machine=vax-dec
628 basic_machine=i386-pc
632 basic_machine=i960-wrs
636 basic_machine=m68k-wrs
640 basic_machine=a29k-wrs
644 basic_machine=i686-pc
648 basic_machine=ymp-cray
659 # Decode 1-component or ad-hoc basic machines
660 case $basic_machine in
661 # Here we handle the default manufacturer of certain CPU types. It is in
662 # some cases the only manufacturer, in others, it is the most popular.
692 # Recognize the various machine names and aliases which stand
693 # for a CPU type and a company and sometimes even an OS.
694 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
707 decsystem10* | dec10*)
712 decsystem20* | dec20*)
717 delta | 3300 | motorola-3300 | motorola-delta \
718 | 3300-motorola | delta-motorola)
727 encore | umax | mmax)
734 basic_os=${basic_os:-bsd}
749 hp3k9[0-9][0-9] | hp9[0-9][0-9])
753 hp9k2[0-9][0-9] | hp9k31[0-9])
761 hp9k6[0-9][0-9] | hp6[0-9][0-9])
765 hp9k7[0-79][0-9] | hp7[0-79][0-9])
769 hp9k78[0-9] | hp78[0-9])
770 # FIXME: really hppa2.0-hp
774 hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
775 # FIXME: really hppa2.0-hp
779 hp9k8[0-9][13679] | hp8[0-9][13679])
783 hp9k8[0-9][0-9] | hp8[0-9][0-9])
788 cpu=`echo "$1" | sed -e 's/86.*/86/'`
793 cpu=`echo "$1" | sed -e 's/86.*/86/'`
798 cpu=`echo "$1" | sed -e 's/86.*/86/'`
803 cpu=`echo "$1" | sed -e 's/86.*/86/'`
810 basic_os=${basic_os:-unicos}
827 *mint | mint[0-9]* | *MiNT | *MiNT[0-9]*)
832 news-3600 | risc-news)
902 basic_os=${basic_os:-elf}
932 vendor=$basic_machine
936 vendor=`echo "$basic_machine" | sed 's/-.*//'`
940 # shellcheck disable=SC2162
942 IFS="-" read cpu vendor <<EOF
947 # We use 'pc' rather than 'unknown'
948 # because (1) that's what they normally are, and
949 # (2) the word "unknown" tends to confuse beginning users.
954 # These rules are duplicated from below for sake of the special case above;
955 # i.e. things that normalized to x86 arches should also default to "pc"
964 # Recognize the basic CPU types without company name.
971 unset -v basic_machine
973 # Decode basic machines in the full and proper CPU-Company form.
975 # Here we handle the default manufacturer of certain CPU types in canonical form. It is in
976 # some cases the only manufacturer, in others, it is the most popular.
979 basic_os=${basic_os:-unicosmp}
981 c90-unknown | c90-cray)
983 basic_os=${Basic_os:-unicos}
994 microblaze-unknown | microblazeel-unknown)
1018 xps-unknown | xps100-unknown)
1023 # Here we normalize CPU types with a missing or matching vendor
1024 armh-unknown | armh-alt)
1027 basic_os=${basic_os:-linux-gnueabihf}
1029 dpx20-unknown | dpx20-bull)
1032 basic_os=${basic_os:-bosx}
1035 # Here we normalize CPU types irrespective of the vendor
1054 basic_os=${basic_os}"spe"
1066 m9s12z-* | m68hcs12z-* | hcs12z-* | s12z-*)
1076 pentium-* | p5-* | k5-* | k6-* | nexgen-* | viac3-*)
1079 pentiumpro-* | p6-* | 6x86-* | athlon-* | athlon_*-*)
1082 pentiumii-* | pentium2-* | pentiumiii-* | pentium3-*)
1094 ppcle-* | powerpclittle-*)
1100 ppc64le-* | powerpc64little-*)
1110 cpu=`echo "$cpu" | sed 's/^\(sh.\)e\(.\)$/\1\2e/'`
1115 strongarm-* | thumb-*)
1127 xscale-* | xscalee[bl]-*)
1128 cpu=`echo "$cpu" | sed 's/^xscale/arm/'`
1130 arm64-* | aarch64le-*)
1134 # Recognize the canonical CPU Types that limit and/or modify the
1135 # company names they are paired with.
1137 basic_os=${basic_os:-elf}
1139 crisv32-* | etraxfs*-*)
1148 basic_os=${basic_os:-elf}
1170 mipsallegrexel-sony)
1175 basic_os=${basic_os:-linux-gnu}
1179 # Recognize the canonical CPU types that are allowed with any
1184 | aarch64 | aarch64_be | aarch64c | arm64ec \
1186 | alpha | alphaev[4-8] | alphaev56 | alphaev6[78] \
1187 | alpha64 | alpha64ev[4-8] | alpha64ev56 | alpha64ev6[78] \
1188 | alphapca5[67] | alpha64pca5[67] \
1191 | arc | arceb | arc32 | arc64 \
1192 | arm | arm[lb]e | arme[lb] | armv* \
1197 | bfin | bpf | bs2000 \
1198 | c[123]* | c30 | [cjt]90 | c4x \
1199 | c8051 | clipper | craynv | csky | cydra \
1200 | d10v | d30v | dlx | dsp16xx \
1201 | e2k | elxsi | epiphany \
1202 | f30[01] | f700 | fido | fr30 | frv | ft32 | fx80 \
1205 | hppa | hppa1.[01] | hppa2.0 | hppa2.0[nw] | hppa64 \
1207 | i370 | i*86 | i860 | i960 | ia16 | ia64 \
1213 | loongarch32 | loongarch64 \
1214 | m32c | m32r | m32rle \
1215 | m5200 | m68000 | m680[012346]0 | m68360 | m683?2 | m68k \
1216 | m6811 | m68hc11 | m6812 | m68hc12 | m68hcs12x \
1217 | m88110 | m88k | maxq | mb | mcore | mep | metag \
1218 | microblaze | microblazeel \
1221 | mn10200 | mn10300 \
1225 | nds32 | nds32le | nds32be \
1227 | nios | nios2 | nios2eb | nios2el \
1228 | none | np1 | ns16k | ns32k | nvptx \
1234 | pdp10 | pdp11 | pj | pjl | pn | power \
1235 | powerpc | powerpc64 | powerpc64le | powerpcle | powerpcspe \
1238 | riscv | riscv32 | riscv32be | riscv64 | riscv64be \
1239 | rl78 | romp | rs6000 | rx \
1243 | sh[1234] | sh[24]a | sh[24]ae[lb] | sh[23]e | she[lb] | sh[lb]e \
1244 | sh[1234]e[lb] | sh[12345][lb]e | sh[23]ele | sh64 | sh64le \
1245 | sparc | sparc64 | sparc64b | sparc64v | sparc86x | sparclet \
1247 | sparcv8 | sparcv9 | sparcv9b | sparcv9v | sv1 | sx* \
1251 | tic30 | tic4x | tic54x | tic55x | tic6x | tic80 \
1254 | v70 | v850 | v850e | v850e1 | v850es | v850e2 | v850e2v3 \
1260 | x86 | x86_64 | xc16x | xgate | xps100 \
1261 | xstormy16 | xtensa* \
1267 echo "Invalid configuration '$1': machine '$cpu-$vendor' not recognized" 1>&2
1274 # Here we canonicalize certain aliases for manufacturers.
1286 # Decode manufacturer-specific aliases for certain operating systems.
1288 if test x"$basic_os" != x
1291 # First recognize some ad-hoc cases, or perhaps split kernel-os, or else just
1297 os=`echo "$basic_os" | sed -e 's|gnu/linux|gnu|'`
1301 os=`echo "$basic_os" | sed -e 's|os2-emx|emx|'`
1305 os=`echo "$basic_os" | sed -e 's|nto-qnx|qnx|'`
1308 # shellcheck disable=SC2162
1310 IFS="-" read kernel os <<EOF
1315 # Default OS when just kernel was specified
1318 os=`echo "$basic_os" | sed -e 's|nto|qnx|'`
1322 os=`echo "$basic_os" | sed -e 's|linux|gnu|'`
1326 os=`echo "$basic_os" | sed -e 's|managarm|mlibc|'`
1334 # Now, normalize the OS (knowing we just have one component, it's not a kernel,
1337 # First match some system type aliases that might get confused
1338 # with valid system types.
1339 # solaris* is a basic system type, with this one exception.
1346 solaris1 | solaris1.*)
1347 os=`echo "$os" | sed -e 's|solaris1|sunos4|'`
1355 # es1800 is here to avoid being matched by es* (a different OS)
1359 # Some version numbers need modification
1376 os=`echo "$os" | sed -e 's/sco3.2./sco3.2v/'`
1400 # don't get caught up in next wildcard
1406 os=`echo "$os" | sed -e 's|mac|macos|'`
1415 os=`echo "$os" | sed -e 's|sunos5|solaris2|'`
1418 os=`echo "$os" | sed -e 's|sunos6|solaris3|'`
1450 # Preserve the version number of sinix5.
1452 os=`echo "$os" | sed -e 's|sinix|sysv|'`
1478 *mint | mint[0-9]* | *MiNT | MiNT[0-9]*)
1485 # Until real need of OS specific support for
1486 # particular features comes up, bare metal
1487 # configurations are quite functional.
1498 aout* | coff* | elf* | pe*)
1499 # These are machine code file formats, not OSes
1504 # No normalization, but not necessarily accepted, that comes below.
1510 # Here we handle the default operating systems that come with various machines.
1511 # The value should be what the vendor currently ships out the door with their
1512 # machine or put another way, the most popular os provided with the machine.
1514 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1515 # "-sun"), then you have to tell the case statement up towards the top
1516 # that MANUFACTURER isn't an operating system. Otherwise, code above
1517 # will signal an error saying that MANUFACTURER isn't an operating
1518 # system, and we'll never get to this point.
1522 case $cpu-$vendor in
1569 # This must come before the *-dec entry.
1608 *-tti) # must be before sparc entry or we get the wrong os.
1642 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
1693 f30[01]-fujitsu | f700-fujitsu)
1720 # Now, validate our (potentially fixed-up) individual pieces (OS, OBJ).
1723 # Sometimes we do "kernel-libc", so those need to count as OSes.
1724 musl* | newlib* | relibc* | uclibc*)
1726 # Likewise for "kernel-abi"
1729 # VxWorks passes extra cpu info in the 4th filed.
1730 simlinux | simwindows | spe)
1732 # See `case $cpu-$os` validation below
1735 # Now accept the basic system types.
1736 # The portable systems comes first.
1737 # Each alternative MUST end in a * to match a version number.
1738 gnu* | android* | bsd* | mach* | minix* | genix* | ultrix* | irix* \
1739 | *vms* | esix* | aix* | cnk* | sunos | sunos[34]* \
1740 | hpux* | unos* | osf* | luna* | dgux* | auroraux* | solaris* \
1741 | sym* | plan9* | psp* | sim* | xray* | os68k* | v88r* \
1742 | hiux* | abug | nacl* | netware* | windows* \
1743 | os9* | macos* | osx* | ios* | tvos* | watchos* \
1744 | mpw* | magic* | mmixware* | mon960* | lnews* \
1745 | amigaos* | amigados* | msdos* | newsos* | unicos* | aof* \
1746 | aos* | aros* | cloudabi* | sortix* | twizzler* \
1747 | nindy* | vxsim* | vxworks* | ebmon* | hms* | mvs* \
1748 | clix* | riscos* | uniplus* | iris* | isc* | rtu* | xenix* \
1749 | mirbsd* | netbsd* | dicos* | openedition* | ose* \
1750 | bitrig* | openbsd* | secbsd* | solidbsd* | libertybsd* | os108* \
1751 | ekkobsd* | freebsd* | riscix* | lynxos* | os400* \
1752 | bosx* | nextstep* | cxux* | oabi* \
1753 | ptx* | ecoff* | winnt* | domain* | vsta* \
1754 | udi* | lites* | ieee* | go32* | aux* | hcos* \
1755 | chorusrdb* | cegcc* | glidix* | serenity* \
1756 | cygwin* | msys* | moss* | proelf* | rtems* \
1757 | midipix* | mingw32* | mingw64* | mint* \
1758 | uxpv* | beos* | mpeix* | udk* | moxiebox* \
1759 | interix* | uwin* | mks* | rhapsody* | darwin* \
1760 | openstep* | oskit* | conix* | pw32* | nonstopux* \
1761 | storm-chaos* | tops10* | tenex* | tops20* | its* \
1762 | os2* | vos* | palmos* | uclinux* | nucleus* | morphos* \
1763 | scout* | superux* | sysv* | rtmk* | tpf* | windiss* \
1764 | powermax* | dnix* | nx6 | nx7 | sei* | dragonfly* \
1765 | skyos* | haiku* | rdos* | toppers* | drops* | es* \
1766 | onefs* | tirtos* | phoenix* | fuchsia* | redox* | bme* \
1767 | midnightbsd* | amdhsa* | unleashed* | emscripten* | wasi* \
1768 | nsk* | powerunix* | genode* | zvmoe* | qnx* | emx* | zephyr* \
1769 | fiwix* | mlibc* | cos* | mbr* )
1771 # This one is extra strict with allowed versions
1772 sco3.2v2 | sco3.2v[4-9]* | sco5v6*)
1773 # Don't forget version if it is 3.2v4 or newer.
1778 # Restricted further below
1783 echo "Invalid configuration '$1': Blank OS only allowed with explicit machine code file format" 1>&2
1787 echo "Invalid configuration '$1': OS '$os' not recognized" 1>&2
1793 aout* | coff* | elf* | pe*)
1799 echo "Invalid configuration '$1': Machine code format '$obj' not recognized" 1>&2
1804 # Here we handle the constraint that a (synthetic) cpu and os are
1805 # valid only in combination with each other and nowhere else.
1807 # The "javascript-unknown-ghcjs" triple is used by GHC; we
1808 # accept it here in order to tolerate that, but reject any
1812 javascript-* | *-ghcjs)
1813 echo "Invalid configuration '$1': cpu '$cpu' is not valid with os '$os$obj'" 1>&2
1818 # As a final step for OS-related things, validate the OS-kernel combination
1819 # (given a valid OS), if there is a kernel.
1820 case $kernel-$os-$obj in
1821 linux-gnu*- | linux-dietlibc*- | linux-android*- | linux-newlib*- \
1822 | linux-musl*- | linux-relibc*- | linux-uclibc*- | linux-mlibc*- )
1826 managarm-mlibc*- | managarm-kernel*- )
1828 windows*-gnu*- | windows*-msvc*-)
1830 -dietlibc*- | -newlib*- | -musl*- | -relibc*- | -uclibc*- | -mlibc*- )
1831 # These are just libc implementations, not actual OSes, and thus
1833 echo "Invalid configuration '$1': libc '$os' needs explicit kernel." 1>&2
1837 echo "Invalid configuration '$1': '$os' needs explicit kernel." 1>&2
1841 echo "Invalid configuration '$1': '$kernel' does not support '$os'." 1>&2
1845 echo "Invalid configuration '$1': '$os' needs 'windows'." 1>&2
1848 kfreebsd*-gnu*- | kopensolaris*-gnu*-)
1850 vxworks-simlinux- | vxworks-simwindows- | vxworks-spe-)
1856 *-eabi*- | *-gnueabi*-)
1859 # None (no kernel, i.e. freestanding / bare metal),
1860 # can be paired with an machine code file format
1863 # Blank kernel with real OS is always fine.
1866 # Blank kernel and OS with real machine code file format is always fine.
1869 echo "Invalid configuration '$1': Kernel '$kernel' not known to work with OS '$os'." 1>&2
1874 # Here we handle the case where we know the os, and the CPU type, but not the
1875 # manufacturer. We pick the logical manufacturer.
1930 *-vxsim* | *-vxworks* | *-windiss*)
1942 *-*mint | *-mint[0-9]* | *-*MiNT | *-MiNT[0-9]*)
1952 echo "$cpu-$vendor${kernel:+-$kernel}${os:+-$os}${obj:+-$obj}"
1956 # eval: (add-hook 'before-save-hook 'time-stamp)
1957 # time-stamp-start: "timestamp='"
1958 # time-stamp-format: "%:y-%02m-%02d"
1959 # time-stamp-end: "'"