2 # Configuration validation subroutine script, version 1.1.
3 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000
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 -V, --version print version number, then exit"
67 Try \`$me --help' for more information."
70 while test $# -gt 0 ; do
72 --version |
--vers* |
-V )
73 echo "$version" ; exit 0 ;;
75 echo "$usage"; exit 0 ;;
76 -- ) # Stop option processing
78 - ) # Use stdin as input.
82 echo "$me: invalid option $1"
87 # First pass through any local machine types.
97 0) echo "$me: missing argument$help" >&2
100 *) echo "$me: too many arguments$help" >&2
104 # Separate what the user gave into CPU-COMPANY and OS or KERNEL-OS (if any).
105 # Here we must recognize all the valid KERNEL-OS combinations.
106 maybe_os
=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\2/'`
108 nto-qnx
* | linux-gnu
* | storm-chaos
*)
110 basic_machine
=`echo $1 | sed 's/^\(.*\)-\([^-]*-[^-]*\)$/\1/'`
113 basic_machine
=`echo $1 | sed 's/-[^-]*$//'`
114 if [ $basic_machine != $1 ]
115 then os
=`echo $1 | sed 's/.*-/-/'`
120 ### Let's recognize common machines as not being operating systems so
121 ### that things like config.sub decstation-3100 work. We also
122 ### recognize some manufacturers as not being operating systems, so we
123 ### can provide default operating systems below.
126 # Prevent following clause from handling this invalid input.
128 -dec* |
-mips* |
-sequent* |
-encore* |
-pc532* |
-sgi* |
-sony* | \
129 -att* |
-7300* |
-3300* |
-delta* |
-motorola* |
-sun[234]* | \
130 -unicom* |
-ibm* |
-next |
-hp |
-isi* |
-apollo |
-altos* | \
131 -convergent* |
-ncr* |
-news |
-32* |
-3600* |
-3100* |
-hitachi* |\
132 -c[123]* |
-convex* |
-sun |
-crds |
-omron* |
-dg |
-ultra |
-tti* | \
133 -harris |
-dolphin |
-highlevel |
-gould |
-cbm |
-ns |
-masscomp | \
138 -sim |
-cisco |
-oki |
-wec |
-winbond)
161 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
165 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
168 os
=`echo $os | sed -e 's/sco3.2./sco3.2v/'`
169 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
172 # Don't forget version if it is 3.2v4 or newer.
173 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
177 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
180 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
184 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
187 basic_machine
=clipper-intergraph
190 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
196 basic_machine
=`echo $1 | sed -e 's/86-.*/86-sequent/'`
199 os
=`echo $os | sed -e 's/windowsnt/winnt/'`
205 basic_machine
=m68k-atari
210 # Decode aliases for certain CPU-COMPANY combinations.
211 case $basic_machine in
212 # Recognize the basic CPU types without company name.
213 # Some are omitted here because they have special meanings below.
214 tahoe | i860 | ia64 | m32r | m68k | m68000 | m88k | ns32k | arc | arm \
215 | arme
[lb
] | armv
[2345] | armv
[345][lb
] | pyramid | mn10200 | mn10300 | tron | a29k \
216 |
580 | i960 | h8300 \
217 | x86 | ppcbe | mipsbe | mipsle | shbe | shle | armbe | armle \
218 | hppa | hppa1.0 | hppa1.1 | hppa2.0 | hppa2.0w | hppa2.0n \
220 | alpha | alphaev
[4-8] | alphaev56 | alphapca5
[67] \
222 | we32k | ns16k | clipper | i370 | sh | sh
[34] \
223 | powerpc | powerpcle \
224 |
1750a | dsp16xx | pdp11 | mips16 | mips64 | mipsel | mips64el \
225 | mips64orion | mips64orionel | mipstx39 | mipstx39el \
226 | mips64vr4300 | mips64vr4300el | mips64vr4100 | mips64vr4100el \
227 | mips64vr5000 | miprs64vr5000el | mcore \
228 | sparc | sparclet | sparclite | sparc64 | sparcv9 | v850 | c4x \
229 | thumb | d10v | d30v | fr30 | avr
)
230 basic_machine
=$basic_machine-unknown
232 m6811 | m68hc11 | m6812 | m68hc12
)
233 # Motorola 68HC11/12.
234 basic_machine
=$basic_machine-unknown
237 m88110 | m680
[12346]0 | m683?
2 | m68360 | m5200 | z8k | v70 | h8500 | w65 | pj | pjl
)
240 # We use `pc' rather than `unknown'
241 # because (1) that's what they normally are, and
242 # (2) the word "unknown" tends to confuse beginning users.
243 i
[234567]86 | x86_64
)
244 basic_machine
=$basic_machine-pc
246 # Object if more than one company name word.
248 echo Invalid configuration \
`$1\': machine \`$basic_machine\' not recognized
1>&2
251 # Recognize the basic CPU types with company name.
252 # FIXME: clean up the formatting here.
253 vax-
* | tahoe-
* | i
[234567]86-* | i860-
* | ia64-
* | m32r-
* | m68k-
* | m68000-
* \
254 | m88k-
* | sparc-
* | ns32k-
* | fx80-
* | arc-
* | arm-
* | c
[123]* \
255 | mips-
* | pyramid-
* | tron-
* | a29k-
* | romp-
* | rs6000-
* \
256 | power-
* | none-
* |
580-* | cray2-
* | h8300-
* | h8500-
* | i960-
* \
258 | x86-
* | ppcbe-
* | mipsbe-
* | mipsle-
* | shbe-
* | shle-
* | armbe-
* | armle-
* \
259 | hppa-
* | hppa1.0
-* | hppa1.1
-* | hppa2.0
-* | hppa2.0w-
* \
260 | hppa2.0n-
* | hppa64-
* \
261 | alpha-
* | alphaev
[4-8]-* | alphaev56-
* | alphapca5
[67]-* \
263 | we32k-
* | cydra-
* | ns16k-
* | pn-
* | np1-
* | xps100-
* \
264 | clipper-
* | orion-
* \
265 | sparclite-
* | pdp11-
* | sh-
* | powerpc-
* | powerpcle-
* \
266 | sparc64-
* | sparcv9-
* | sparc86x-
* | mips16-
* | mips64-
* | mipsel-
* \
267 | mips64el-
* | mips64orion-
* | mips64orionel-
* \
268 | mips64vr4100-
* | mips64vr4100el-
* | mips64vr4300-
* | mips64vr4300el-
* \
269 | mipstx39-
* | mipstx39el-
* | mcore-
* \
270 | f301-
* | armv
*-* | s390-
* | sv1-
* | t3e-
* \
271 | m88110-
* | m680
[01234]0-* | m683?
2-* | m68360-
* | z8k-
* | d10v-
* \
272 | thumb-
* | v850-
* | d30v-
* | tic30-
* | c30-
* | fr30-
* \
273 | bs2000-
* | tic54x-
* | c54x-
* | x86_64-
*)
275 # Recognize the various machine names and aliases which stand
276 # for a CPU type and a company and sometimes even an OS.
278 basic_machine
=i386-unknown
281 3b1 |
7300 |
7300-att | att-7300 | pc7300 | safari | unixpc
)
282 basic_machine
=m68000-att
285 basic_machine
=we32k-att
288 basic_machine
=a29k-amd
292 basic_machine
=m68010-adobe
296 basic_machine
=fx80-alliant
299 basic_machine
=m68k-altos
302 basic_machine
=a29k-none
306 basic_machine
=580-amdahl
310 basic_machine
=m68k-unknown
313 basic_machine
=m68k-unknown
317 basic_machine
=m68k-unknown
321 basic_machine
=m68k-apollo
325 basic_machine
=m68k-apollo
329 basic_machine
=m68k-apple
333 basic_machine
=ns32k-sequent
337 basic_machine
=c1-convex
341 basic_machine
=c2-convex
345 basic_machine
=c32-convex
349 basic_machine
=c34-convex
353 basic_machine
=c38-convex
357 basic_machine
=ymp-cray
361 basic_machine
=cray2-cray
365 basic_machine
=c90-cray
369 basic_machine
=m68k-crds
371 cris | cris-
* | etrax
*)
372 basic_machine
=cris-axis
375 basic_machine
=m68k-da30
377 decstation | decstation-3100 | pmax | pmax-
* | pmin | dec3100 | decstatn
)
378 basic_machine
=mips-dec
380 delta |
3300 | motorola-3300 | motorola-delta \
381 |
3300-motorola | delta-motorola
)
382 basic_machine
=m68k-motorola
385 basic_machine
=m88k-motorola
389 basic_machine
=rs6000-bull
393 basic_machine
=m68k-bull
397 basic_machine
=a29k-amd
401 basic_machine
=elxsi-elxsi
404 encore | umax | mmax
)
405 basic_machine
=ns32k-encore
407 es1800 | OSE68k | ose68k | ose | OSE
)
408 basic_machine
=m68k-ericsson
412 basic_machine
=i860-alliant
415 basic_machine
=ns32k-ns
418 basic_machine
=tron-gmicro
422 basic_machine
=hppa1.1
-hitachi
426 basic_machine
=h8300-hitachi
430 basic_machine
=h8300-hitachi
434 basic_machine
=h8500-hitachi
438 basic_machine
=m88k-harris
442 basic_machine
=m68k-hp
445 basic_machine
=m68k-hp
449 basic_machine
=m68k-hp
452 hp3k9
[0-9][0-9] | hp9
[0-9][0-9])
453 basic_machine
=hppa1.0
-hp
455 hp9k2
[0-9][0-9] | hp9k31
[0-9])
456 basic_machine
=m68000-hp
459 basic_machine
=m68k-hp
461 hp9k6
[0-9][0-9] | hp6
[0-9][0-9])
462 basic_machine
=hppa1.0
-hp
464 hp9k7
[0-79][0-9] | hp7
[0-79][0-9])
465 basic_machine
=hppa1.1
-hp
467 hp9k78
[0-9] | hp78
[0-9])
468 # FIXME: really hppa2.0-hp
469 basic_machine
=hppa1.1
-hp
471 hp9k8
[67]1 | hp8
[67]1 | hp9k80
[24] | hp80
[24] | hp9k8
[78]9 | hp8
[78]9 | hp9k893 | hp893
)
472 # FIXME: really hppa2.0-hp
473 basic_machine
=hppa1.1
-hp
475 hp9k8
[0-9][13679] | hp8
[0-9][13679])
476 basic_machine
=hppa1.1
-hp
478 hp9k8
[0-9][0-9] | hp8
[0-9][0-9])
479 basic_machine
=hppa1.0
-hp
485 basic_machine
=hppa1.1
-hp
489 basic_machine
=hppa1.1
-hp
493 basic_machine
=i370-ibm
495 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
497 basic_machine
=`echo $1 | sed -e 's/86.*/86-pc/'`
501 basic_machine
=`echo $1 | sed -e 's/86.*/86-pc/'`
505 basic_machine
=`echo $1 | sed -e 's/86.*/86-pc/'`
509 basic_machine
=`echo $1 | sed -e 's/86.*/86-pc/'`
513 basic_machine
=i386-mach
517 basic_machine
=i386-unknown
521 basic_machine
=i386-unknown
524 i386-mingw32 | mingw32
)
525 basic_machine
=i386-unknown
528 i
[34567]86-pw32 | pw32
)
529 basic_machine
=i586-unknown
533 basic_machine
=mips-sgi
543 basic_machine
=m68k-isi
547 basic_machine
=m88k-omron
550 basic_machine
=mips-mips
554 basic_machine
=ns32k-utek
558 basic_machine
=m68000-convergent
560 *mint |
-mint[0-9]* |
*MiNT |
*MiNT
[0-9]*)
561 basic_machine
=m68k-atari
565 basic_machine
=mipsel-unknown
569 basic_machine
=mips-unknown
573 basic_machine
=`echo $basic_machine | sed -e 's/mips3/mips64/'`
576 basic_machine
=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
579 basic_machine
=mmix-knuth
583 basic_machine
=m68k-rom68k
587 basic_machine
=i386-unknown
591 basic_machine
=i370-ibm
595 basic_machine
=i486-ncr
599 basic_machine
=i386-unknown
603 basic_machine
=armv4l-rebel
606 news | news700 | news800 | news900
)
607 basic_machine
=m68k-sony
611 basic_machine
=m68030-sony
614 news-3600 | risc-news
)
615 basic_machine
=mips-sony
619 basic_machine
=v70-nec
623 basic_machine
=m68k-next
636 basic_machine
=m68k-harris
640 basic_machine
=m88k-harris
644 basic_machine
=i960-intel
648 basic_machine
=i960-intel
652 basic_machine
=np1-gould
655 basic_machine
=nsr-tandem
658 basic_machine
=hppa1.1
-oki
662 basic_machine
=m68000-ericsson
666 basic_machine
=m68k-none
670 basic_machine
=hppa1.1
-hitachi
674 basic_machine
=i860-intel
678 basic_machine
=sparc-tti
681 basic_machine
=m68k-tti
684 basic_machine
=ns32k-pc532
686 pentium | p5 | k5 | k6 | nexen
)
687 basic_machine
=i586-pc
689 pentiumpro | p6 |
6x86 | athlon
)
690 basic_machine
=i686-pc
692 pentiumii | pentium2
)
693 basic_machine
=i786-pc
695 pentium-
* | p5-
* | k5-
* | k6-
* | nexen-
*)
696 basic_machine
=i586-
`echo $basic_machine | sed 's/^[^-]*-//'`
698 pentiumpro-
* | p6-
* |
6x86-
* | athlon-
*)
699 basic_machine
=i686-
`echo $basic_machine | sed 's/^[^-]*-//'`
701 pentiumii-
* | pentium2-
*)
702 basic_machine
=i786-
`echo $basic_machine | sed 's/^[^-]*-//'`
705 basic_machine
=pn-gould
707 power
) basic_machine
=rs6000-ibm
709 ppc
) basic_machine
=powerpc-unknown
711 ppc-
*) basic_machine
=powerpc-
`echo $basic_machine | sed 's/^[^-]*-//'`
713 ppcle | powerpclittle | ppc-le | powerpc-little
)
714 basic_machine
=powerpcle-unknown
716 ppcle-
* | powerpclittle-
*)
717 basic_machine
=powerpcle-
`echo $basic_machine | sed 's/^[^-]*-//'`
720 basic_machine
=i386-ibm
723 basic_machine
=m68k-rom68k
727 basic_machine
=mips-siemens
730 basic_machine
=romp-ibm
733 basic_machine
=a29k-amd
737 basic_machine
=i386-sequent
740 basic_machine
=sh-hitachi
744 basic_machine
=sparclite-wrs
748 basic_machine
=m68k-bull
752 basic_machine
=spur-unknown
755 basic_machine
=m68k-tandem
758 basic_machine
=i860-stratus
762 basic_machine
=m68000-sun
765 basic_machine
=m68000-sun
769 basic_machine
=m68000-sun
773 basic_machine
=m68k-sun
777 basic_machine
=m68k-sun
781 basic_machine
=sparc-sun
785 basic_machine
=sparc-sun
789 basic_machine
=sparc-sun
793 basic_machine
=m68k-sun
796 basic_machine
=sparc-sun
798 sun386 | sun386i | roadrunner
)
799 basic_machine
=i386-sun
802 basic_machine
=sv1-cray
806 basic_machine
=i386-sequent
810 basic_machine
=t3e-cray
814 basic_machine
=tic54x-unknown
818 basic_machine
=mipstx39-unknown
821 basic_machine
=mipstx39el-unknown
824 basic_machine
=m68k-ncr
827 basic_machine
=a29k-amd
831 basic_machine
=a29k-nyu
835 basic_machine
=v810-nec
839 basic_machine
=vax-dec
843 basic_machine
=vax-dec
847 basic_machine
=f301-fujitsu
850 basic_machine
=i960-wrs
854 basic_machine
=m68k-wrs
858 basic_machine
=a29k-wrs
862 basic_machine
=w65-wdc
866 basic_machine
=hppa1.1
-winbond
870 basic_machine
=xmp-cray
874 basic_machine
=xps100-honeywell
877 basic_machine
=z8k-unknown
881 basic_machine
=none-none
885 # Here we handle the default manufacturer of certain CPU types. It is in
886 # some cases the only manufacturer, in others, it is the most popular.
888 basic_machine
=hppa1.1
-winbond
891 basic_machine
=hppa1.1
-oki
894 basic_machine
=hppa1.1
-oki
897 if [ x
$os = x-linux-gnu
]; then
898 basic_machine
=mips-unknown
900 basic_machine
=mips-mips
904 basic_machine
=romp-ibm
907 basic_machine
=rs6000-ibm
910 basic_machine
=vax-dec
913 basic_machine
=pdp11-dec
916 basic_machine
=we32k-att
919 base_machine
=sh-unknown
922 basic_machine
=sparc-sun
925 basic_machine
=cydra-cydrome
928 basic_machine
=orion-highlevel
931 basic_machine
=clipper-highlevel
934 basic_machine
=m68k-apple
937 basic_machine
=powerpc-apple
940 basic_machine
=c4x-none
944 echo Invalid configuration \
`$1\': machine \`$basic_machine\' not recognized
1>&2
949 # Here we canonicalize certain aliases for manufacturers.
950 case $basic_machine in
952 basic_machine
=`echo $basic_machine | sed 's/digital.*/dec/'`
955 basic_machine
=`echo $basic_machine | sed 's/commodore.*/cbm/'`
961 # Decode manufacturer-specific aliases for certain operating systems.
966 # First match some system type aliases
967 # that might get confused with valid system types.
968 # -solaris* is a basic system type, with this one exception.
969 -solaris1 |
-solaris1.
*)
970 os
=`echo $os | sed -e 's|solaris1|sunos4|'`
982 os
=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
984 # First accept the basic system types.
985 # The portable systems comes first.
986 # Each alternative MUST END IN A *, to match a version number.
987 # -sysv* is not here because it comes later, after sysvr4.
988 -gnu* |
-bsd* |
-mach* |
-minix* |
-genix* |
-ultrix* |
-irix* \
989 |
-*vms
* |
-sco* |
-esix* |
-isc* |
-aix* |
-sunos |
-sunos[34]*\
990 |
-hpux* |
-unos* |
-osf* |
-luna* |
-dgux* |
-solaris* |
-sym* \
991 |
-amigaos* |
-amigados* |
-msdos* |
-newsos* |
-unicos* |
-aof* \
993 |
-nindy* |
-vxsim* |
-vxworks* |
-ebmon* |
-hms* |
-mvs* \
994 |
-clix* |
-riscos* |
-uniplus* |
-iris* |
-rtu* |
-xenix* \
995 |
-hiux* |
-386bsd* |
-netbsd* |
-openbsd* |
-freebsd* |
-riscix* \
996 |
-lynxos* |
-bosx* |
-nextstep* |
-cxux* |
-aout* |
-elf* |
-oabi* \
997 |
-ptx* |
-coff* |
-ecoff* |
-winnt* |
-domain* |
-vsta* \
998 |
-udi* |
-eabi* |
-lites* |
-ieee* |
-go32* |
-aux* \
999 |
-chorusos* |
-chorusrdb* \
1000 |
-cygwin* |
-pe* |
-psos* |
-moss* |
-proelf* |
-rtems* \
1001 |
-mingw32* |
-linux-gnu* |
-uxpv* |
-beos* |
-mpeix* |
-udk* \
1002 |
-interix* |
-uwin* |
-rhapsody* |
-darwin* |
-opened* \
1003 |
-openstep* |
-oskit* |
-conix* |
-pw32* |
-storm-chaos*)
1004 # Remember, each alternative MUST END IN *, to match a version number.
1007 case $basic_machine in
1008 x86-
* | i
[34567]86-*)
1018 -sim |
-es1800* |
-hms* |
-xray |
-os68k* |
-none* |
-v88r* \
1019 |
-windows* |
-osx |
-abug |
-netware* |
-os9* |
-beos* \
1020 |
-macos* |
-mpw* |
-magic* |
-mmixware* |
-mon960* |
-lnews*)
1023 os
=`echo $os | sed -e 's|mac|macos|'`
1026 os
=`echo $os | sed -e 's|linux|linux-gnu|'`
1029 os
=`echo $os | sed -e 's|sunos5|solaris2|'`
1032 os
=`echo $os | sed -e 's|sunos6|solaris3|'`
1067 # Preserve the version number of sinix5.
1069 os
=`echo $os | sed -e 's|sinix|sysv|'`
1089 # This must come after -sysvr4.
1107 # Get rid of the `-' at the beginning of $os.
1108 os
=`echo $os | sed 's/[^-]*-//'`
1109 echo Invalid configuration \
`$1\': system \`$os\' not recognized
1>&2
1115 # Here we handle the default operating systems that come with various machines.
1116 # The value should be what the vendor currently ships out the door with their
1117 # machine or put another way, the most popular os provided with the machine.
1119 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1120 # "-sun"), then you have to tell the case statement up towards the top
1121 # that MANUFACTURER isn't an operating system. Otherwise, code above
1122 # will signal an error saying that MANUFACTURER isn't an operating
1123 # system, and we'll never get to this point.
1125 case $basic_machine in
1149 # This also exists in the configure program, but was not the
1162 *-tti) # must be before sparc entry or we get the wrong os.
1189 i860-
* |
*-att |
*-ncr |
*-altos |
*-motorola |
*-convergent)
1264 # Here we handle the case where we know the os, and the CPU type, but not the
1265 # manufacturer. We pick the logical manufacturer.
1267 case $basic_machine in
1309 -vxsim* |
-vxworks*)
1325 basic_machine
=`echo $basic_machine | sed "s/unknown/$vendor/"`
1329 echo $basic_machine$os
1333 # eval: (add-hook 'write-file-hooks 'time-stamp)
1334 # time-stamp-start: "version='"
1335 # time-stamp-format: "%:y-%02m-%02d"
1336 # time-stamp-end: "'"