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)
153 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
157 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
160 os
=`echo $os | sed -e 's/sco3.2./sco3.2v/'`
161 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
164 # Don't forget version if it is 3.2v4 or newer.
165 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
169 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
172 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
176 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
179 basic_machine
=clipper-intergraph
182 basic_machine
=`echo $1 | sed -e 's/86-.*/86-pc/'`
188 basic_machine
=`echo $1 | sed -e 's/86-.*/86-sequent/'`
191 os
=`echo $os | sed -e 's/windowsnt/winnt/'`
197 basic_machine
=m68k-atari
202 # Decode aliases for certain CPU-COMPANY combinations.
203 case $basic_machine in
204 # Recognize the basic CPU types without company name.
205 # Some are omitted here because they have special meanings below.
206 tahoe | i860 | ia64 | m32r | m68k | m68000 | m88k | ns32k | arc | arm \
207 | arme
[lb
] | armv
[2345] | armv
[345][lb
] | pyramid | mn10200 | mn10300 | tron | a29k \
208 |
580 | i960 | h8300 \
209 | x86 | ppcbe | mipsbe | mipsle | shbe | shle | armbe | armle \
210 | hppa | hppa1.0 | hppa1.1 | hppa2.0 | hppa2.0w | hppa2.0n \
212 | alpha | alphaev
[4-8] | alphaev56 | alphapca5
[67] \
214 | we32k | ns16k | clipper | i370 | sh | sh
[34] \
215 | powerpc | powerpcle \
216 |
1750a | dsp16xx | pdp11 | mips16 | mips64 | mipsel | mips64el \
217 | mips64orion | mips64orionel | mipstx39 | mipstx39el \
218 | mips64vr4300 | mips64vr4300el | mips64vr4100 | mips64vr4100el \
219 | mips64vr5000 | miprs64vr5000el | mcore \
220 | sparc | sparclet | sparclite | sparc64 | sparcv9 | v850 | c4x \
221 | thumb | d10v | d30v | fr30 | avr
)
222 basic_machine
=$basic_machine-unknown
224 m6811 | m68hc11 | m6812 | m68hc12
)
225 # Motorola 68HC11/12.
226 basic_machine
=$basic_machine-unknown
229 m88110 | m680
[12346]0 | m683?
2 | m68360 | m5200 | z8k | v70 | h8500 | w65 | pj | pjl
)
232 # We use `pc' rather than `unknown'
233 # because (1) that's what they normally are, and
234 # (2) the word "unknown" tends to confuse beginning users.
235 i
[234567]86 | x86_64
)
236 basic_machine
=$basic_machine-pc
238 # Object if more than one company name word.
240 echo Invalid configuration \
`$1\': machine \`$basic_machine\' not recognized
1>&2
243 # Recognize the basic CPU types with company name.
244 # FIXME: clean up the formatting here.
245 vax-
* | tahoe-
* | i
[234567]86-* | i860-
* | ia64-
* | m32r-
* | m68k-
* | m68000-
* \
246 | m88k-
* | sparc-
* | ns32k-
* | fx80-
* | arc-
* | arm-
* | c
[123]* \
247 | mips-
* | pyramid-
* | tron-
* | a29k-
* | romp-
* | rs6000-
* \
248 | power-
* | none-
* |
580-* | cray2-
* | h8300-
* | h8500-
* | i960-
* \
250 | x86-
* | ppcbe-
* | mipsbe-
* | mipsle-
* | shbe-
* | shle-
* | armbe-
* | armle-
* \
251 | hppa-
* | hppa1.0
-* | hppa1.1
-* | hppa2.0
-* | hppa2.0w-
* \
252 | hppa2.0n-
* | hppa64-
* \
253 | alpha-
* | alphaev
[4-8]-* | alphaev56-
* | alphapca5
[67]-* \
255 | we32k-
* | cydra-
* | ns16k-
* | pn-
* | np1-
* | xps100-
* \
256 | clipper-
* | orion-
* \
257 | sparclite-
* | pdp11-
* | sh-
* | powerpc-
* | powerpcle-
* \
258 | sparc64-
* | sparcv9-
* | sparc86x-
* | mips16-
* | mips64-
* | mipsel-
* \
259 | mips64el-
* | mips64orion-
* | mips64orionel-
* \
260 | mips64vr4100-
* | mips64vr4100el-
* | mips64vr4300-
* | mips64vr4300el-
* \
261 | mipstx39-
* | mipstx39el-
* | mcore-
* \
262 | f301-
* | armv
*-* | s390-
* | sv1-
* | t3e-
* \
263 | m88110-
* | m680
[01234]0-* | m683?
2-* | m68360-
* | z8k-
* | d10v-
* \
264 | thumb-
* | v850-
* | d30v-
* | tic30-
* | c30-
* | fr30-
* \
265 | bs2000-
* | tic54x-
* | c54x-
* | x86_64-
*)
267 # Recognize the various machine names and aliases which stand
268 # for a CPU type and a company and sometimes even an OS.
270 basic_machine
=i386-unknown
273 3b1 |
7300 |
7300-att | att-7300 | pc7300 | safari | unixpc
)
274 basic_machine
=m68000-att
277 basic_machine
=we32k-att
280 basic_machine
=a29k-amd
284 basic_machine
=m68010-adobe
288 basic_machine
=fx80-alliant
291 basic_machine
=m68k-altos
294 basic_machine
=a29k-none
298 basic_machine
=580-amdahl
302 basic_machine
=m68k-unknown
305 basic_machine
=m68k-unknown
309 basic_machine
=m68k-unknown
313 basic_machine
=m68k-apollo
317 basic_machine
=m68k-apollo
321 basic_machine
=m68k-apple
325 basic_machine
=ns32k-sequent
329 basic_machine
=c1-convex
333 basic_machine
=c2-convex
337 basic_machine
=c32-convex
341 basic_machine
=c34-convex
345 basic_machine
=c38-convex
349 basic_machine
=ymp-cray
353 basic_machine
=cray2-cray
357 basic_machine
=c90-cray
361 basic_machine
=m68k-crds
363 cris | cris-
* | etrax
*)
364 basic_machine
=cris-axis
367 basic_machine
=m68k-da30
369 decstation | decstation-3100 | pmax | pmax-
* | pmin | dec3100 | decstatn
)
370 basic_machine
=mips-dec
372 delta |
3300 | motorola-3300 | motorola-delta \
373 |
3300-motorola | delta-motorola
)
374 basic_machine
=m68k-motorola
377 basic_machine
=m88k-motorola
381 basic_machine
=rs6000-bull
385 basic_machine
=m68k-bull
389 basic_machine
=a29k-amd
393 basic_machine
=elxsi-elxsi
396 encore | umax | mmax
)
397 basic_machine
=ns32k-encore
399 es1800 | OSE68k | ose68k | ose | OSE
)
400 basic_machine
=m68k-ericsson
404 basic_machine
=i860-alliant
407 basic_machine
=ns32k-ns
410 basic_machine
=tron-gmicro
414 basic_machine
=hppa1.1
-hitachi
418 basic_machine
=h8300-hitachi
422 basic_machine
=h8300-hitachi
426 basic_machine
=h8500-hitachi
430 basic_machine
=m88k-harris
434 basic_machine
=m68k-hp
437 basic_machine
=m68k-hp
441 basic_machine
=m68k-hp
444 hp3k9
[0-9][0-9] | hp9
[0-9][0-9])
445 basic_machine
=hppa1.0
-hp
447 hp9k2
[0-9][0-9] | hp9k31
[0-9])
448 basic_machine
=m68000-hp
451 basic_machine
=m68k-hp
453 hp9k6
[0-9][0-9] | hp6
[0-9][0-9])
454 basic_machine
=hppa1.0
-hp
456 hp9k7
[0-79][0-9] | hp7
[0-79][0-9])
457 basic_machine
=hppa1.1
-hp
459 hp9k78
[0-9] | hp78
[0-9])
460 # FIXME: really hppa2.0-hp
461 basic_machine
=hppa1.1
-hp
463 hp9k8
[67]1 | hp8
[67]1 | hp9k80
[24] | hp80
[24] | hp9k8
[78]9 | hp8
[78]9 | hp9k893 | hp893
)
464 # FIXME: really hppa2.0-hp
465 basic_machine
=hppa1.1
-hp
467 hp9k8
[0-9][13679] | hp8
[0-9][13679])
468 basic_machine
=hppa1.1
-hp
470 hp9k8
[0-9][0-9] | hp8
[0-9][0-9])
471 basic_machine
=hppa1.0
-hp
477 basic_machine
=hppa1.1
-hp
481 basic_machine
=hppa1.1
-hp
485 basic_machine
=i370-ibm
487 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
489 basic_machine
=`echo $1 | sed -e 's/86.*/86-pc/'`
493 basic_machine
=`echo $1 | sed -e 's/86.*/86-pc/'`
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
=i386-mach
509 basic_machine
=i386-unknown
513 basic_machine
=i386-unknown
516 i386-mingw32 | mingw32
)
517 basic_machine
=i386-unknown
520 i
[34567]86-pw32 | pw32
)
521 basic_machine
=i586-unknown
525 basic_machine
=mips-sgi
535 basic_machine
=m68k-isi
539 basic_machine
=m88k-omron
542 basic_machine
=mips-mips
546 basic_machine
=ns32k-utek
550 basic_machine
=m68000-convergent
552 *mint |
-mint[0-9]* |
*MiNT |
*MiNT
[0-9]*)
553 basic_machine
=m68k-atari
557 basic_machine
=mipsel-unknown
561 basic_machine
=mips-unknown
565 basic_machine
=`echo $basic_machine | sed -e 's/mips3/mips64/'`
568 basic_machine
=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
571 basic_machine
=mmix-knuth
575 basic_machine
=m68k-rom68k
579 basic_machine
=i386-unknown
583 basic_machine
=i370-ibm
587 basic_machine
=i486-ncr
591 basic_machine
=i386-unknown
595 basic_machine
=armv4l-rebel
598 news | news700 | news800 | news900
)
599 basic_machine
=m68k-sony
603 basic_machine
=m68030-sony
606 news-3600 | risc-news
)
607 basic_machine
=mips-sony
611 basic_machine
=v70-nec
615 basic_machine
=m68k-next
628 basic_machine
=m68k-harris
632 basic_machine
=m88k-harris
636 basic_machine
=i960-intel
640 basic_machine
=i960-intel
644 basic_machine
=mips-compaq
648 basic_machine
=np1-gould
651 basic_machine
=nsr-tandem
654 basic_machine
=hppa1.1
-oki
658 basic_machine
=m68000-ericsson
662 basic_machine
=m68k-none
666 basic_machine
=hppa1.1
-hitachi
670 basic_machine
=i860-intel
674 basic_machine
=sparc-tti
677 basic_machine
=m68k-tti
680 basic_machine
=ns32k-pc532
682 pentium | p5 | k5 | k6 | nexgen
)
683 basic_machine
=i586-pc
685 pentiumpro | p6 |
6x86 | athlon
)
686 basic_machine
=i686-pc
688 pentiumii | pentium2
)
689 basic_machine
=i686-pc
691 pentium-
* | p5-
* | k5-
* | k6-
* | nexgen-
*)
692 basic_machine
=i586-
`echo $basic_machine | sed 's/^[^-]*-//'`
694 pentiumpro-
* | p6-
* |
6x86-
* | athlon-
*)
695 basic_machine
=i686-
`echo $basic_machine | sed 's/^[^-]*-//'`
697 pentiumii-
* | pentium2-
*)
698 basic_machine
=i686-
`echo $basic_machine | sed 's/^[^-]*-//'`
701 basic_machine
=pn-gould
703 power
) basic_machine
=power-ibm
705 ppc
) basic_machine
=powerpc-unknown
707 ppc-
*) basic_machine
=powerpc-
`echo $basic_machine | sed 's/^[^-]*-//'`
709 ppcle | powerpclittle | ppc-le | powerpc-little
)
710 basic_machine
=powerpcle-unknown
712 ppcle-
* | powerpclittle-
*)
713 basic_machine
=powerpcle-
`echo $basic_machine | sed 's/^[^-]*-//'`
716 basic_machine
=i386-ibm
719 basic_machine
=m68k-rom68k
723 basic_machine
=mips-siemens
726 basic_machine
=romp-ibm
729 basic_machine
=a29k-amd
733 basic_machine
=i386-sequent
736 basic_machine
=sh-hitachi
740 basic_machine
=sparclite-wrs
744 basic_machine
=m68k-bull
748 basic_machine
=spur-unknown
751 basic_machine
=m68k-tandem
754 basic_machine
=i860-stratus
758 basic_machine
=m68000-sun
761 basic_machine
=m68000-sun
765 basic_machine
=m68000-sun
769 basic_machine
=m68k-sun
773 basic_machine
=m68k-sun
777 basic_machine
=sparc-sun
781 basic_machine
=sparc-sun
785 basic_machine
=sparc-sun
789 basic_machine
=m68k-sun
792 basic_machine
=sparc-sun
794 sun386 | sun386i | roadrunner
)
795 basic_machine
=i386-sun
798 basic_machine
=sv1-cray
802 basic_machine
=i386-sequent
806 basic_machine
=t3e-cray
810 basic_machine
=tic54x-unknown
814 basic_machine
=mipstx39-unknown
817 basic_machine
=mipstx39el-unknown
820 basic_machine
=m68k-ncr
823 basic_machine
=a29k-amd
827 basic_machine
=a29k-nyu
831 basic_machine
=v810-nec
835 basic_machine
=vax-dec
839 basic_machine
=vax-dec
843 basic_machine
=f301-fujitsu
846 basic_machine
=i960-wrs
850 basic_machine
=m68k-wrs
854 basic_machine
=a29k-wrs
858 basic_machine
=w65-wdc
862 basic_machine
=hppa1.1
-winbond
866 basic_machine
=xmp-cray
870 basic_machine
=xps100-honeywell
873 basic_machine
=z8k-unknown
877 basic_machine
=none-none
881 # Here we handle the default manufacturer of certain CPU types. It is in
882 # some cases the only manufacturer, in others, it is the most popular.
884 basic_machine
=hppa1.1
-winbond
887 basic_machine
=hppa1.1
-oki
890 basic_machine
=hppa1.1
-oki
893 if [ x
$os = x-linux-gnu
]; then
894 basic_machine
=mips-unknown
896 basic_machine
=mips-mips
900 basic_machine
=romp-ibm
903 basic_machine
=rs6000-ibm
906 basic_machine
=vax-dec
909 basic_machine
=pdp11-dec
912 basic_machine
=we32k-att
915 basic_machine
=sh-unknown
918 basic_machine
=sparc-sun
921 basic_machine
=cydra-cydrome
924 basic_machine
=orion-highlevel
927 basic_machine
=clipper-highlevel
930 basic_machine
=m68k-apple
933 basic_machine
=powerpc-apple
936 basic_machine
=c4x-none
940 echo Invalid configuration \
`$1\': machine \`$basic_machine\' not recognized
1>&2
945 # Here we canonicalize certain aliases for manufacturers.
946 case $basic_machine in
948 basic_machine
=`echo $basic_machine | sed 's/digital.*/dec/'`
951 basic_machine
=`echo $basic_machine | sed 's/commodore.*/cbm/'`
957 # Decode manufacturer-specific aliases for certain operating systems.
962 # First match some system type aliases
963 # that might get confused with valid system types.
964 # -solaris* is a basic system type, with this one exception.
965 -solaris1 |
-solaris1.
*)
966 os
=`echo $os | sed -e 's|solaris1|sunos4|'`
978 os
=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
980 # First accept the basic system types.
981 # The portable systems comes first.
982 # Each alternative MUST END IN A *, to match a version number.
983 # -sysv* is not here because it comes later, after sysvr4.
984 -gnu* |
-bsd* |
-mach* |
-minix* |
-genix* |
-ultrix* |
-irix* \
985 |
-*vms
* |
-sco* |
-esix* |
-isc* |
-aix* |
-sunos |
-sunos[34]*\
986 |
-hpux* |
-unos* |
-osf* |
-luna* |
-dgux* |
-solaris* |
-sym* \
987 |
-amigaos* |
-amigados* |
-msdos* |
-newsos* |
-unicos* |
-aof* \
989 |
-nindy* |
-vxsim* |
-vxworks* |
-ebmon* |
-hms* |
-mvs* \
990 |
-clix* |
-riscos* |
-uniplus* |
-iris* |
-rtu* |
-xenix* \
991 |
-hiux* |
-386bsd* |
-netbsd* |
-openbsd* |
-freebsd* |
-riscix* \
992 |
-lynxos* |
-bosx* |
-nextstep* |
-cxux* |
-aout* |
-elf* |
-oabi* \
993 |
-ptx* |
-coff* |
-ecoff* |
-winnt* |
-domain* |
-vsta* \
994 |
-udi* |
-eabi* |
-lites* |
-ieee* |
-go32* |
-aux* \
995 |
-cygwin* |
-pe* |
-psos* |
-moss* |
-proelf* |
-rtems* \
996 |
-mingw32* |
-linux-gnu* |
-uxpv* |
-beos* |
-mpeix* |
-udk* \
997 |
-interix* |
-uwin* |
-rhapsody* |
-darwin* |
-opened* \
998 |
-openstep* |
-oskit* |
-conix* |
-pw32* |
-nonstopux* |
-storm-chaos*)
999 # Remember, each alternative MUST END IN *, to match a version number.
1002 case $basic_machine in
1003 x86-
* | i
[34567]86-*)
1013 -sim |
-es1800* |
-hms* |
-xray |
-os68k* |
-none* |
-v88r* \
1014 |
-windows* |
-osx |
-abug |
-netware* |
-os9* |
-beos* \
1015 |
-macos* |
-mpw* |
-magic* |
-mmixware* |
-mon960* |
-lnews*)
1018 os
=`echo $os | sed -e 's|mac|macos|'`
1021 os
=`echo $os | sed -e 's|linux|linux-gnu|'`
1024 os
=`echo $os | sed -e 's|sunos5|solaris2|'`
1027 os
=`echo $os | sed -e 's|sunos6|solaris3|'`
1062 # Preserve the version number of sinix5.
1064 os
=`echo $os | sed -e 's|sinix|sysv|'`
1084 # This must come after -sysvr4.
1102 # Get rid of the `-' at the beginning of $os.
1103 os
=`echo $os | sed 's/[^-]*-//'`
1104 echo Invalid configuration \
`$1\': system \`$os\' not recognized
1>&2
1110 # Here we handle the default operating systems that come with various machines.
1111 # The value should be what the vendor currently ships out the door with their
1112 # machine or put another way, the most popular os provided with the machine.
1114 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1115 # "-sun"), then you have to tell the case statement up towards the top
1116 # that MANUFACTURER isn't an operating system. Otherwise, code above
1117 # will signal an error saying that MANUFACTURER isn't an operating
1118 # system, and we'll never get to this point.
1120 case $basic_machine in
1144 # This also exists in the configure program, but was not the
1157 *-tti) # must be before sparc entry or we get the wrong os.
1184 i860-
* |
*-att |
*-ncr |
*-altos |
*-motorola |
*-convergent)
1259 # Here we handle the case where we know the os, and the CPU type, but not the
1260 # manufacturer. We pick the logical manufacturer.
1262 case $basic_machine in
1304 -vxsim* |
-vxworks*)
1320 basic_machine
=`echo $basic_machine | sed "s/unknown/$vendor/"`
1324 echo $basic_machine$os
1328 # eval: (add-hook 'write-file-hooks 'time-stamp)
1329 # time-stamp-start: "version='"
1330 # time-stamp-format: "%:y-%02m-%02d"
1331 # time-stamp-end: "'"