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.
226 tahoe | i860 | ia64 | m32r | m68k | m68000 | m88k | ns32k | arc \
227 | arm | arme[lb] | arm[bl]e | armv[2345] | armv[345][lb] | strongarm | xscale \
228 | pyramid | mn10200 | mn10300 | tron | a29k \
229 | 580 | i960 | h8300 \
230 | x86 | ppcbe | mipsbe | mipsle | shbe | shle \
231 | hppa | hppa1.0 | hppa1.1 | hppa2.0 | hppa2.0w | hppa2.0n \
233 | alpha | alphaev[4-8] | alphaev56 | alphapca5[67] \
235 | we32k | ns16k | clipper | i370 | sh | sh[34] \
236 | powerpc | powerpcle \
237 | 1750a | dsp16xx | pdp10 | pdp11 \
238 | mips16 | mips64 | mipsel | mips64el \
239 | mips64orion | mips64orionel | mipstx39 | mipstx39el \
240 | mips64vr4300 | mips64vr4300el | mips64vr4100 | mips64vr4100el \
241 | mips64vr5000 | miprs64vr5000el | mcore | s390 | s390x \
242 | sparc | sparclet | sparclite | sparc64 | sparcv9 | sparcv9b \
244 | thumb | d10v | d30v | fr30 | avr | openrisc | tic80 \
245 | pj | pjl | h8500 | z8k)
246 basic_machine=$basic_machine-unknown
248 m6811 | m68hc11 | m6812 | m68hc12)
249 # Motorola 68HC11/12.
250 basic_machine=$basic_machine-unknown
253 m88110 | m680[12346]0 | m683?2 | m68360 | m5200 | v70 | w65 | z8k)
256 # We use `pc' rather than `unknown'
257 # because (1) that's what they normally are, and
258 # (2) the word "unknown" tends to confuse beginning users.
260 basic_machine=$basic_machine-pc
262 # Object if more than one company name word.
264 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
267 # Recognize the basic CPU types with company name.
268 # FIXME: clean up the formatting here.
269 vax-* | tahoe-* | i*86-* | i860-* | ia64-* | m32r-* | m68k-* | m68000-* \
270 | m88k-* | sparc-* | ns32k-* | fx80-* | arc-* | c[123]* \
271 | arm-* | armbe-* | armle-* | armv*-* | strongarm-* | xscale-* \
272 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \
273 | power-* | none-* | 580-* | cray2-* | h8300-* | h8500-* | i960-* \
275 | x86-* | ppcbe-* | mipsbe-* | mipsle-* | shbe-* | shle-* \
276 | hppa-* | hppa1.0-* | hppa1.1-* | hppa2.0-* | hppa2.0w-* \
277 | hppa2.0n-* | hppa64-* \
278 | alpha-* | alphaev[4-8]-* | alphaev56-* | alphapca5[67]-* \
280 | we32k-* | cydra-* | ns16k-* | pn-* | np1-* | xps100-* \
281 | clipper-* | orion-* \
282 | sparclite-* | pdp10-* | pdp11-* | sh-* | sh[34]-* | sh[34]eb-* \
283 | powerpc-* | powerpcle-* | sparc64-* | sparcv9-* | sparcv9b-* | sparc86x-* \
284 | mips16-* | mips64-* | mipsel-* \
285 | mips64el-* | mips64orion-* | mips64orionel-* \
286 | mips64vr4100-* | mips64vr4100el-* | mips64vr4300-* | mips64vr4300el-* \
287 | mipstx39-* | mipstx39el-* | mcore-* \
288 | f30[01]-* | f700-* | s390-* | s390x-* | sv1-* | t3e-* \
290 | m88110-* | m680[01234]0-* | m683?2-* | m68360-* | z8k-* | d10v-* \
291 | thumb-* | v850-* | d30v-* | tic30-* | tic80-* | c30-* | fr30-* \
292 | bs2000-* | tic54x-* | c54x-* | x86_64-* | pj-* | pjl-*)
294 # Recognize the various machine names and aliases which stand
295 # for a CPU type and a company and sometimes even an OS.
297 basic_machine=i386-unknown
300 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
301 basic_machine=m68000-att
304 basic_machine=we32k-att
307 basic_machine=a29k-amd
311 basic_machine=m68010-adobe
315 basic_machine=fx80-alliant
318 basic_machine=m68k-altos
321 basic_machine=a29k-none
325 basic_machine=580-amdahl
329 basic_machine=m68k-unknown
332 basic_machine=m68k-unknown
336 basic_machine=m68k-unknown
340 basic_machine=m68k-apollo
344 basic_machine=m68k-apollo
348 basic_machine=m68k-apple
352 basic_machine=ns32k-sequent
356 basic_machine=c1-convex
360 basic_machine=c2-convex
364 basic_machine=c32-convex
368 basic_machine=c34-convex
372 basic_machine=c38-convex
376 basic_machine=ymp-cray
380 basic_machine=cray2-cray
384 basic_machine=${basic_machine}-cray
388 basic_machine=m68k-crds
390 cris | cris-* | etrax*)
391 basic_machine=cris-axis
394 basic_machine=i386-pc
398 basic_machine=m68k-da30
400 decstation | decstation-3100 | pmax | pmax-* | pmin | dec3100 | decstatn)
401 basic_machine=mips-dec
403 delta | 3300 | motorola-3300 | motorola-delta \
404 | 3300-motorola | delta-motorola)
405 basic_machine=m68k-motorola
408 basic_machine=m88k-motorola
412 basic_machine=rs6000-bull
416 basic_machine=m68k-bull
420 basic_machine=a29k-amd
424 basic_machine=elxsi-elxsi
427 encore | umax | mmax)
428 basic_machine=ns32k-encore
430 es1800 | OSE68k | ose68k | ose | OSE)
431 basic_machine=m68k-ericsson
435 basic_machine=i860-alliant
438 basic_machine=ns32k-ns
441 basic_machine=tron-gmicro
445 basic_machine=i386-pc
449 basic_machine=hppa1.1-hitachi
453 basic_machine=h8300-hitachi
457 basic_machine=h8300-hitachi
461 basic_machine=h8500-hitachi
465 basic_machine=m88k-harris
469 basic_machine=m68k-hp
472 basic_machine=m68k-hp
476 basic_machine=m68k-hp
479 hp3k9[0-9][0-9] | hp9[0-9][0-9])
480 basic_machine=hppa1.0-hp
482 hp9k2[0-9][0-9] | hp9k31[0-9])
483 basic_machine=m68000-hp
486 basic_machine=m68k-hp
488 hp9k6[0-9][0-9] | hp6[0-9][0-9])
489 basic_machine=hppa1.0-hp
491 hp9k7[0-79][0-9] | hp7[0-79][0-9])
492 basic_machine=hppa1.1-hp
494 hp9k78[0-9] | hp78[0-9])
495 # FIXME: really hppa2.0-hp
496 basic_machine=hppa1.1-hp
498 hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
499 # FIXME: really hppa2.0-hp
500 basic_machine=hppa1.1-hp
502 hp9k8[0-9][13679] | hp8[0-9][13679])
503 basic_machine=hppa1.1-hp
505 hp9k8[0-9][0-9] | hp8[0-9][0-9])
506 basic_machine=hppa1.0-hp
512 basic_machine=hppa1.1-hp
516 basic_machine=hppa1.1-hp
520 basic_machine=i370-ibm
522 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
524 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
528 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
532 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
536 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
540 basic_machine=i386-mach
544 basic_machine=i386-unknown
548 basic_machine=mips-sgi
558 basic_machine=m68k-isi
562 basic_machine=m88k-omron
565 basic_machine=mips-mips
569 basic_machine=ns32k-utek
573 basic_machine=i386-pc
577 basic_machine=m68000-convergent
579 *mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
580 basic_machine=m68k-atari
584 basic_machine=mipsel-unknown
588 basic_machine=mips-unknown
592 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
595 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
598 basic_machine=mmix-knuth
602 basic_machine=m68k-rom68k
606 basic_machine=i386-pc
610 basic_machine=i386-pc
614 basic_machine=i370-ibm
618 basic_machine=i486-ncr
622 basic_machine=i386-unknown
626 basic_machine=armv4l-rebel
629 news | news700 | news800 | news900)
630 basic_machine=m68k-sony
634 basic_machine=m68030-sony
637 news-3600 | risc-news)
638 basic_machine=mips-sony
642 basic_machine=v70-nec
646 basic_machine=m68k-next
659 basic_machine=m68k-harris
663 basic_machine=m88k-harris
667 basic_machine=i960-intel
671 basic_machine=i960-intel
675 basic_machine=mips-compaq
679 basic_machine=np1-gould
682 basic_machine=nsr-tandem
685 basic_machine=hppa1.1-oki
689 basic_machine=m68000-ericsson
693 basic_machine=m68k-none
697 basic_machine=hppa1.1-hitachi
701 basic_machine=i860-intel
705 basic_machine=sparc-tti
708 basic_machine=m68k-tti
711 basic_machine=ns32k-pc532
713 pentium | p5 | k5 | k6 | nexgen)
714 basic_machine=i586-pc
716 pentiumpro | p6 | 6x86 | athlon)
717 basic_machine=i686-pc
719 pentiumii | pentium2)
720 basic_machine=i686-pc
722 pentium-* | p5-* | k5-* | k6-* | nexgen-*)
723 basic_machine=i586-`echo $basic_machine | sed 's/^[^-]*-//'`
725 pentiumpro-* | p6-* | 6x86-* | athlon-*)
726 basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
728 pentiumii-* | pentium2-*)
729 basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
732 basic_machine=pn-gould
734 power) basic_machine=power-ibm
736 ppc) basic_machine=powerpc-unknown
738 ppc-*) basic_machine=powerpc-`echo $basic_machine | sed 's/^[^-]*-//'`
740 ppcle | powerpclittle | ppc-le | powerpc-little)
741 basic_machine=powerpcle-unknown
743 ppcle-* | powerpclittle-*)
744 basic_machine=powerpcle-`echo $basic_machine | sed 's/^[^-]*-//'`
747 basic_machine=i386-ibm
750 basic_machine=i586-unknown
754 basic_machine=m68k-rom68k
758 basic_machine=mips-siemens
761 basic_machine=romp-ibm
764 basic_machine=a29k-amd
768 basic_machine=i386-sequent
771 basic_machine=sh-hitachi
775 basic_machine=sparclite-wrs
779 basic_machine=m68k-bull
783 basic_machine=spur-unknown
786 basic_machine=m68k-tandem
789 basic_machine=i860-stratus
793 basic_machine=m68000-sun
796 basic_machine=m68000-sun
800 basic_machine=m68000-sun
804 basic_machine=m68k-sun
808 basic_machine=m68k-sun
812 basic_machine=sparc-sun
816 basic_machine=sparc-sun
820 basic_machine=sparc-sun
824 basic_machine=m68k-sun
827 basic_machine=sparc-sun
829 sun386 | sun386i | roadrunner)
830 basic_machine=i386-sun
833 basic_machine=sv1-cray
837 basic_machine=i386-sequent
841 basic_machine=t3e-cray
845 basic_machine=tic54x-unknown
849 basic_machine=mipstx39-unknown
852 basic_machine=mipstx39el-unknown
855 basic_machine=m68k-ncr
858 basic_machine=a29k-amd
862 basic_machine=a29k-nyu
866 basic_machine=v810-nec
870 basic_machine=vax-dec
874 basic_machine=vax-dec
878 basic_machine=f301-fujitsu
881 basic_machine=i960-wrs
885 basic_machine=m68k-wrs
889 basic_machine=a29k-wrs
893 basic_machine=w65-wdc
897 basic_machine=hppa1.1-winbond
901 basic_machine=i386-pc
905 basic_machine=xmp-cray
909 basic_machine=xps100-honeywell
912 basic_machine=z8k-unknown
916 basic_machine=none-none
920 # Here we handle the default manufacturer of certain CPU types. It is in
921 # some cases the only manufacturer, in others, it is the most popular.
923 basic_machine=hppa1.1-winbond
926 basic_machine=hppa1.1-oki
929 basic_machine=hppa1.1-oki
932 if [ x$os = x-linux-gnu ]; then
933 basic_machine=mips-unknown
935 basic_machine=mips-mips
939 basic_machine=romp-ibm
942 basic_machine=rs6000-ibm
945 basic_machine=vax-dec
948 # there are many clones, so DEC is not a safe bet
949 basic_machine=pdp10-unknown
952 basic_machine=pdp11-dec
955 basic_machine=we32k-att
958 basic_machine=sh-unknown
960 sparc | sparcv9 | sparcv9b)
961 basic_machine=sparc-sun
964 basic_machine=cydra-cydrome
967 basic_machine=orion-highlevel
970 basic_machine=clipper-highlevel
973 basic_machine=m68k-apple
976 basic_machine=powerpc-apple
979 basic_machine=c4x-none
983 # Make sure to match an already-canonicalized machine name.
986 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
991 # Here we canonicalize certain aliases for manufacturers.
992 case $basic_machine in
994 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
997 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
1003 # Decode manufacturer-specific aliases for certain operating systems.
1005 if [ x"$os" != x"" ]
1008 # First match some system type aliases
1009 # that might get confused with valid system types.
1010 # -solaris* is a basic system type, with this one exception.
1011 -solaris1 | -solaris1.*)
1012 os=`echo $os | sed -e 's|solaris1|sunos4|'`
1024 os=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
1026 # First accept the basic system types.
1027 # The portable systems comes first.
1028 # Each alternative MUST END IN A *, to match a version number.
1029 # -sysv* is not here because it comes later, after sysvr4.
1030 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1031 | -*vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]*\
1032 | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
1033 | -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \
1035 | -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \
1036 | -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \
1037 | -hiux* | -386bsd* | -netbsd* | -openbsd* | -freebsd* | -riscix* \
1038 | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* | -oabi* \
1039 | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
1040 | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
1041 | -chorusos* | -chorusrdb* \
1042 | -cygwin* | -msys* | -pe* | -psos* | -moss* | -proelf* | -rtems* \
1043 | -mingw32* | -linux-gnu* | -uxpv* | -beos* | -mpeix* | -udk* \
1044 | -interix* | -uwin* | -rhapsody* | -darwin* | -opened* \
1045 | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
1046 | -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* | -os2*)
1047 # Remember, each alternative MUST END IN *, to match a version number.
1050 case $basic_machine in
1061 -sim | -es1800* | -hms* | -xray | -os68k* | -none* | -v88r* \
1062 | -windows* | -osx | -abug | -netware* | -os9* | -beos* \
1063 | -macos* | -mpw* | -magic* | -mmixware* | -mon960* | -lnews*)
1066 os=`echo $os | sed -e 's|mac|macos|'`
1069 os=`echo $os | sed -e 's|linux|linux-gnu|'`
1072 os=`echo $os | sed -e 's|sunos5|solaris2|'`
1075 os=`echo $os | sed -e 's|sunos6|solaris3|'`
1110 # Preserve the version number of sinix5.
1112 os=`echo $os | sed -e 's|sinix|sysv|'`
1132 # This must come after -sysvr4.
1144 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1150 # Get rid of the `-' at the beginning of $os.
1151 os=`echo $os | sed 's/[^-]*-//'`
1152 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
1158 # Here we handle the default operating systems that come with various machines.
1159 # The value should be what the vendor currently ships out the door with their
1160 # machine or put another way, the most popular os provided with the machine.
1162 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1163 # "-sun"), then you have to tell the case statement up towards the top
1164 # that MANUFACTURER isn't an operating system. Otherwise, code above
1165 # will signal an error saying that MANUFACTURER isn't an operating
1166 # system, and we'll never get to this point.
1168 case $basic_machine in
1195 # This also exists in the configure program, but was not the
1208 *-tti) # must be before sparc entry or we get the wrong os.
1235 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
1289 f30[01]-fujitsu | f700-fujitsu)
1310 # Here we handle the case where we know the os, and the CPU type, but not the
1311 # manufacturer. We pick the logical manufacturer.
1313 case $basic_machine in
1355 -vxsim* | -vxworks*)
1367 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1371 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
1375 echo $basic_machine$os
1379 # eval: (add-hook 'write-file-hooks 'time-stamp)
1380 # time-stamp-start: "timestamp='"
1381 # time-stamp-format: "%:y-%02m-%02d"
1382 # time-stamp-end: "'"