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 | mips64vr5000el | 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=m68k-da30
396 decstation | decstation-3100 | pmax | pmax-* | pmin | dec3100 | decstatn)
397 basic_machine=mips-dec
399 delta | 3300 | motorola-3300 | motorola-delta \
400 | 3300-motorola | delta-motorola)
401 basic_machine=m68k-motorola
404 basic_machine=m88k-motorola
408 basic_machine=rs6000-bull
412 basic_machine=m68k-bull
416 basic_machine=a29k-amd
420 basic_machine=elxsi-elxsi
423 encore | umax | mmax)
424 basic_machine=ns32k-encore
426 es1800 | OSE68k | ose68k | ose | OSE)
427 basic_machine=m68k-ericsson
431 basic_machine=i860-alliant
434 basic_machine=ns32k-ns
437 basic_machine=tron-gmicro
441 basic_machine=i386-pc
445 basic_machine=hppa1.1-hitachi
449 basic_machine=h8300-hitachi
453 basic_machine=h8300-hitachi
457 basic_machine=h8500-hitachi
461 basic_machine=m88k-harris
465 basic_machine=m68k-hp
468 basic_machine=m68k-hp
472 basic_machine=m68k-hp
475 hp3k9[0-9][0-9] | hp9[0-9][0-9])
476 basic_machine=hppa1.0-hp
478 hp9k2[0-9][0-9] | hp9k31[0-9])
479 basic_machine=m68000-hp
482 basic_machine=m68k-hp
484 hp9k6[0-9][0-9] | hp6[0-9][0-9])
485 basic_machine=hppa1.0-hp
487 hp9k7[0-79][0-9] | hp7[0-79][0-9])
488 basic_machine=hppa1.1-hp
490 hp9k78[0-9] | hp78[0-9])
491 # FIXME: really hppa2.0-hp
492 basic_machine=hppa1.1-hp
494 hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
495 # FIXME: really hppa2.0-hp
496 basic_machine=hppa1.1-hp
498 hp9k8[0-9][13679] | hp8[0-9][13679])
499 basic_machine=hppa1.1-hp
501 hp9k8[0-9][0-9] | hp8[0-9][0-9])
502 basic_machine=hppa1.0-hp
508 basic_machine=hppa1.1-hp
512 basic_machine=hppa1.1-hp
516 basic_machine=i370-ibm
518 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
520 basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
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=i386-mach
540 basic_machine=i386-unknown
544 basic_machine=mips-sgi
554 basic_machine=m68k-isi
558 basic_machine=m88k-omron
561 basic_machine=mips-mips
565 basic_machine=ns32k-utek
569 basic_machine=i386-pc
573 basic_machine=m68000-convergent
575 *mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
576 basic_machine=m68k-atari
580 basic_machine=mipsel-unknown
584 basic_machine=mips-unknown
588 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
591 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
594 basic_machine=mmix-knuth
598 basic_machine=m68k-rom68k
602 basic_machine=i386-pc
606 basic_machine=i370-ibm
610 basic_machine=i486-ncr
614 basic_machine=i386-unknown
618 basic_machine=armv4l-rebel
621 news | news700 | news800 | news900)
622 basic_machine=m68k-sony
626 basic_machine=m68030-sony
629 news-3600 | risc-news)
630 basic_machine=mips-sony
634 basic_machine=v70-nec
638 basic_machine=m68k-next
651 basic_machine=m68k-harris
655 basic_machine=m88k-harris
659 basic_machine=i960-intel
663 basic_machine=i960-intel
667 basic_machine=mips-compaq
671 basic_machine=np1-gould
674 basic_machine=nsr-tandem
677 basic_machine=hppa1.1-oki
681 basic_machine=m68000-ericsson
685 basic_machine=m68k-none
689 basic_machine=hppa1.1-hitachi
693 basic_machine=i860-intel
697 basic_machine=sparc-tti
700 basic_machine=m68k-tti
703 basic_machine=ns32k-pc532
705 pentium | p5 | k5 | k6 | nexgen)
706 basic_machine=i586-pc
708 pentiumpro | p6 | 6x86 | athlon)
709 basic_machine=i686-pc
711 pentiumii | pentium2)
712 basic_machine=i686-pc
714 pentium-* | p5-* | k5-* | k6-* | nexgen-*)
715 basic_machine=i586-`echo $basic_machine | sed 's/^[^-]*-//'`
717 pentiumpro-* | p6-* | 6x86-* | athlon-*)
718 basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
720 pentiumii-* | pentium2-*)
721 basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
724 basic_machine=pn-gould
726 power) basic_machine=power-ibm
728 ppc) basic_machine=powerpc-unknown
730 ppc-*) basic_machine=powerpc-`echo $basic_machine | sed 's/^[^-]*-//'`
732 ppcle | powerpclittle | ppc-le | powerpc-little)
733 basic_machine=powerpcle-unknown
735 ppcle-* | powerpclittle-*)
736 basic_machine=powerpcle-`echo $basic_machine | sed 's/^[^-]*-//'`
739 basic_machine=i386-ibm
742 basic_machine=i586-unknown
746 basic_machine=m68k-rom68k
750 basic_machine=mips-siemens
753 basic_machine=romp-ibm
756 basic_machine=a29k-amd
760 basic_machine=i386-sequent
763 basic_machine=sh-hitachi
767 basic_machine=sparclite-wrs
771 basic_machine=m68k-bull
775 basic_machine=spur-unknown
778 basic_machine=m68k-tandem
781 basic_machine=i860-stratus
785 basic_machine=m68000-sun
788 basic_machine=m68000-sun
792 basic_machine=m68000-sun
796 basic_machine=m68k-sun
800 basic_machine=m68k-sun
804 basic_machine=sparc-sun
808 basic_machine=sparc-sun
812 basic_machine=sparc-sun
816 basic_machine=m68k-sun
819 basic_machine=sparc-sun
821 sun386 | sun386i | roadrunner)
822 basic_machine=i386-sun
825 basic_machine=sv1-cray
829 basic_machine=i386-sequent
833 basic_machine=t3e-cray
837 basic_machine=tic54x-unknown
841 basic_machine=mipstx39-unknown
844 basic_machine=mipstx39el-unknown
847 basic_machine=m68k-ncr
850 basic_machine=a29k-amd
854 basic_machine=a29k-nyu
858 basic_machine=v810-nec
862 basic_machine=vax-dec
866 basic_machine=vax-dec
870 basic_machine=f301-fujitsu
873 basic_machine=i960-wrs
877 basic_machine=m68k-wrs
881 basic_machine=a29k-wrs
885 basic_machine=w65-wdc
889 basic_machine=hppa1.1-winbond
893 basic_machine=i386-pc
897 basic_machine=xmp-cray
901 basic_machine=xps100-honeywell
904 basic_machine=z8k-unknown
908 basic_machine=none-none
912 # Here we handle the default manufacturer of certain CPU types. It is in
913 # some cases the only manufacturer, in others, it is the most popular.
915 basic_machine=hppa1.1-winbond
918 basic_machine=hppa1.1-oki
921 basic_machine=hppa1.1-oki
924 if [ x$os = x-linux-gnu ]; then
925 basic_machine=mips-unknown
927 basic_machine=mips-mips
931 basic_machine=romp-ibm
934 basic_machine=rs6000-ibm
937 basic_machine=vax-dec
940 # there are many clones, so DEC is not a safe bet
941 basic_machine=pdp10-unknown
944 basic_machine=pdp11-dec
947 basic_machine=we32k-att
950 basic_machine=sh-unknown
952 sparc | sparcv9 | sparcv9b)
953 basic_machine=sparc-sun
956 basic_machine=cydra-cydrome
959 basic_machine=orion-highlevel
962 basic_machine=clipper-highlevel
965 basic_machine=m68k-apple
968 basic_machine=powerpc-apple
971 basic_machine=c4x-none
975 # Make sure to match an already-canonicalized machine name.
978 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
983 # Here we canonicalize certain aliases for manufacturers.
984 case $basic_machine in
986 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
989 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
995 # Decode manufacturer-specific aliases for certain operating systems.
1000 # First match some system type aliases
1001 # that might get confused with valid system types.
1002 # -solaris* is a basic system type, with this one exception.
1003 -solaris1 | -solaris1.*)
1004 os=`echo $os | sed -e 's|solaris1|sunos4|'`
1016 os=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
1018 # First accept the basic system types.
1019 # The portable systems comes first.
1020 # Each alternative MUST END IN A *, to match a version number.
1021 # -sysv* is not here because it comes later, after sysvr4.
1022 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1023 | -*vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]*\
1024 | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
1025 | -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \
1027 | -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \
1028 | -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \
1029 | -hiux* | -386bsd* | -netbsd* | -openbsd* | -freebsd* | -riscix* \
1030 | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* | -oabi* \
1031 | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
1032 | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
1033 | -chorusos* | -chorusrdb* \
1034 | -cygwin* | -pe* | -psos* | -moss* | -proelf* | -rtems* \
1035 | -mingw32* | -linux-gnu* | -uxpv* | -beos* | -mpeix* | -udk* \
1036 | -interix* | -uwin* | -rhapsody* | -darwin* | -opened* \
1037 | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
1038 | -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* | -os2*)
1039 # Remember, each alternative MUST END IN *, to match a version number.
1042 case $basic_machine in
1053 -sim | -es1800* | -hms* | -xray | -os68k* | -none* | -v88r* \
1054 | -windows* | -osx | -abug | -netware* | -os9* | -beos* \
1055 | -macos* | -mpw* | -magic* | -mmixware* | -mon960* | -lnews*)
1058 os=`echo $os | sed -e 's|mac|macos|'`
1061 os=`echo $os | sed -e 's|linux|linux-gnu|'`
1064 os=`echo $os | sed -e 's|sunos5|solaris2|'`
1067 os=`echo $os | sed -e 's|sunos6|solaris3|'`
1102 # Preserve the version number of sinix5.
1104 os=`echo $os | sed -e 's|sinix|sysv|'`
1124 # This must come after -sysvr4.
1136 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1142 # Get rid of the `-' at the beginning of $os.
1143 os=`echo $os | sed 's/[^-]*-//'`
1144 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
1150 # Here we handle the default operating systems that come with various machines.
1151 # The value should be what the vendor currently ships out the door with their
1152 # machine or put another way, the most popular os provided with the machine.
1154 # Note that if you're going to try to match "-MANUFACTURER" here (say,
1155 # "-sun"), then you have to tell the case statement up towards the top
1156 # that MANUFACTURER isn't an operating system. Otherwise, code above
1157 # will signal an error saying that MANUFACTURER isn't an operating
1158 # system, and we'll never get to this point.
1160 case $basic_machine in
1187 # This also exists in the configure program, but was not the
1200 *-tti) # must be before sparc entry or we get the wrong os.
1227 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
1281 f30[01]-fujitsu | f700-fujitsu)
1302 # Here we handle the case where we know the os, and the CPU type, but not the
1303 # manufacturer. We pick the logical manufacturer.
1305 case $basic_machine in
1347 -vxsim* | -vxworks*)
1359 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1363 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
1367 echo $basic_machine$os
1371 # eval: (add-hook 'write-file-hooks 'time-stamp)
1372 # time-stamp-start: "timestamp='"
1373 # time-stamp-format: "%:y-%02m-%02d"
1374 # time-stamp-end: "'"