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*)
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)
165
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
169
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
172
os=`echo $os | sed -e 's/sco3.2./sco3.2v/'`
173
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
176
# Don't forget version if it is 3.2v4 or newer.
177
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
181
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
184
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
188
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
191
basic_machine=clipper-intergraph
194
basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'`
200
basic_machine=`echo $1 | sed -e 's/86-.*/86-sequent/'`
203
os=`echo $os | sed -e 's/windowsnt/winnt/'`
209
basic_machine=m68k-atari
214
# Decode aliases for certain CPU-COMPANY combinations.
215
case $basic_machine in
216
# Recognize the basic CPU types without company name.
217
# Some are omitted here because they have special meanings below.
218
tahoe | i860 | ia64 | m32r | m68k | m68000 | m88k | ns32k | arc \
219
| arm | arme[lb] | arm[bl]e | armv[2345] | armv[345][lb] | strongarm | xscale \
220
| pyramid | mn10200 | mn10300 | tron | a29k \
221
| 580 | i960 | h8300 \
222
| x86 | ppcbe | mipsbe | mipsle | shbe | shle \
223
| hppa | hppa1.0 | hppa1.1 | hppa2.0 | hppa2.0w | hppa2.0n \
225
| alpha | alphaev[4-8] | alphaev56 | alphapca5[67] \
227
| we32k | ns16k | clipper | i370 | sh | sh[34] \
228
| powerpc | powerpcle \
229
| 1750a | dsp16xx | pdp10 | pdp11 \
230
| mips16 | mips64 | mipsel | mips64el \
231
| mips64orion | mips64orionel | mipstx39 | mipstx39el \
232
| mips64vr4300 | mips64vr4300el | mips64vr4100 | mips64vr4100el \
233
| mips64vr5000 | miprs64vr5000el | mcore | s390 | s390x \
234
| sparc | sparclet | sparclite | sparc64 | sparcv9 | sparcv9b \
236
| thumb | d10v | d30v | fr30 | avr | openrisc | tic80 \
238
basic_machine=$basic_machine-unknown
240
m6811 | m68hc11 | m6812 | m68hc12)
241
# Motorola 68HC11/12.
242
basic_machine=$basic_machine-unknown
245
m88110 | m680[12346]0 | m683?2 | m68360 | m5200 | z8k | v70 | w65)
248
# We use `pc' rather than `unknown'
249
# because (1) that's what they normally are, and
250
# (2) the word "unknown" tends to confuse beginning users.
252
basic_machine=$basic_machine-pc
254
# Object if more than one company name word.
256
echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
259
# Recognize the basic CPU types with company name.
260
# FIXME: clean up the formatting here.
261
vax-* | tahoe-* | i*86-* | i860-* | ia64-* | m32r-* | m68k-* | m68000-* \
262
| m88k-* | sparc-* | ns32k-* | fx80-* | arc-* | c[123]* \
263
| arm-* | armbe-* | armle-* | armv*-* | strongarm-* | xscale-* \
264
| mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \
265
| power-* | none-* | 580-* | cray2-* | h8300-* | h8500-* | i960-* \
267
| x86-* | ppcbe-* | mipsbe-* | mipsle-* | shbe-* | shle-* \
268
| hppa-* | hppa1.0-* | hppa1.1-* | hppa2.0-* | hppa2.0w-* \
269
| hppa2.0n-* | hppa64-* \
270
| alpha-* | alphaev[4-8]-* | alphaev56-* | alphapca5[67]-* \
272
| we32k-* | cydra-* | ns16k-* | pn-* | np1-* | xps100-* \
273
| clipper-* | orion-* \
274
| sparclite-* | pdp10-* | pdp11-* | sh-* | powerpc-* | powerpcle-* \
275
| sparc64-* | sparcv9-* | sparcv9b-* | sparc86x-* \
276
| mips16-* | mips64-* | mipsel-* \
277
| mips64el-* | mips64orion-* | mips64orionel-* \
278
| mips64vr4100-* | mips64vr4100el-* | mips64vr4300-* | mips64vr4300el-* \
279
| mipstx39-* | mipstx39el-* | mcore-* \
280
| f30[01]-* | f700-* | s390-* | s390x-* | sv1-* | t3e-* \
282
| m88110-* | m680[01234]0-* | m683?2-* | m68360-* | z8k-* | d10v-* \
283
| thumb-* | v850-* | d30v-* | tic30-* | tic80-* | c30-* | fr30-* \
284
| bs2000-* | tic54x-* | c54x-* | x86_64-* | pj-* | pjl-*)
286
# Recognize the various machine names and aliases which stand
287
# for a CPU type and a company and sometimes even an OS.
289
basic_machine=i386-unknown
292
3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
293
basic_machine=m68000-att
296
basic_machine=we32k-att
299
basic_machine=a29k-amd
303
basic_machine=m68010-adobe
307
basic_machine=fx80-alliant
310
basic_machine=m68k-altos
313
basic_machine=a29k-none
317
basic_machine=580-amdahl
321
basic_machine=m68k-unknown
324
basic_machine=m68k-unknown
328
basic_machine=m68k-unknown
332
basic_machine=m68k-apollo
336
basic_machine=m68k-apollo
340
basic_machine=m68k-apple
344
basic_machine=ns32k-sequent
348
basic_machine=c1-convex
352
basic_machine=c2-convex
356
basic_machine=c32-convex
360
basic_machine=c34-convex
364
basic_machine=c38-convex
368
basic_machine=ymp-cray
372
basic_machine=cray2-cray
376
basic_machine=${basic_machine}-cray
380
basic_machine=m68k-crds
382
cris | cris-* | etrax*)
383
basic_machine=cris-axis
386
basic_machine=m68k-da30
388
decstation | decstation-3100 | pmax | pmax-* | pmin | dec3100 | decstatn)
389
basic_machine=mips-dec
391
delta | 3300 | motorola-3300 | motorola-delta \
392
| 3300-motorola | delta-motorola)
393
basic_machine=m68k-motorola
396
basic_machine=m88k-motorola
400
basic_machine=rs6000-bull
404
basic_machine=m68k-bull
408
basic_machine=a29k-amd
412
basic_machine=elxsi-elxsi
415
encore | umax | mmax)
416
basic_machine=ns32k-encore
418
es1800 | OSE68k | ose68k | ose | OSE)
419
basic_machine=m68k-ericsson
423
basic_machine=i860-alliant
426
basic_machine=ns32k-ns
429
basic_machine=tron-gmicro
433
basic_machine=i386-pc
437
basic_machine=hppa1.1-hitachi
441
basic_machine=h8300-hitachi
445
basic_machine=h8300-hitachi
449
basic_machine=h8500-hitachi
453
basic_machine=m88k-harris
457
basic_machine=m68k-hp
460
basic_machine=m68k-hp
464
basic_machine=m68k-hp
467
hp3k9[0-9][0-9] | hp9[0-9][0-9])
468
basic_machine=hppa1.0-hp
470
hp9k2[0-9][0-9] | hp9k31[0-9])
471
basic_machine=m68000-hp
474
basic_machine=m68k-hp
476
hp9k6[0-9][0-9] | hp6[0-9][0-9])
477
basic_machine=hppa1.0-hp
479
hp9k7[0-79][0-9] | hp7[0-79][0-9])
480
basic_machine=hppa1.1-hp
482
hp9k78[0-9] | hp78[0-9])
483
# FIXME: really hppa2.0-hp
484
basic_machine=hppa1.1-hp
486
hp9k8[67]1 | hp8[67]1 | hp9k80[24] | hp80[24] | hp9k8[78]9 | hp8[78]9 | hp9k893 | hp893)
487
# FIXME: really hppa2.0-hp
488
basic_machine=hppa1.1-hp
490
hp9k8[0-9][13679] | hp8[0-9][13679])
491
basic_machine=hppa1.1-hp
493
hp9k8[0-9][0-9] | hp8[0-9][0-9])
494
basic_machine=hppa1.0-hp
500
basic_machine=hppa1.1-hp
504
basic_machine=hppa1.1-hp
508
basic_machine=i370-ibm
510
# I'm not sure what "Sysv32" means. Should this be sysv3.2?
512
basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
516
basic_machine=`echo $1 | sed -e 's/86.*/86-pc/'`
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=i386-mach
532
basic_machine=i386-unknown
536
basic_machine=mips-sgi
546
basic_machine=m68k-isi
550
basic_machine=m88k-omron
553
basic_machine=mips-mips
557
basic_machine=ns32k-utek
561
basic_machine=i386-pc
565
basic_machine=m68000-convergent
567
*mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
568
basic_machine=m68k-atari
572
basic_machine=mipsel-unknown
576
basic_machine=mips-unknown
580
basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
583
basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
586
basic_machine=mmix-knuth
590
basic_machine=m68k-rom68k
594
basic_machine=i386-pc
598
basic_machine=i370-ibm
602
basic_machine=i486-ncr
606
basic_machine=i386-unknown
610
basic_machine=armv4l-rebel
613
news | news700 | news800 | news900)
614
basic_machine=m68k-sony
618
basic_machine=m68030-sony
621
news-3600 | risc-news)
622
basic_machine=mips-sony
626
basic_machine=v70-nec
630
basic_machine=m68k-next
643
basic_machine=m68k-harris
647
basic_machine=m88k-harris
651
basic_machine=i960-intel
655
basic_machine=i960-intel
659
basic_machine=mips-compaq
663
basic_machine=np1-gould
666
basic_machine=nsr-tandem
669
basic_machine=hppa1.1-oki
673
basic_machine=m68000-ericsson
677
basic_machine=m68k-none
681
basic_machine=hppa1.1-hitachi
685
basic_machine=i860-intel
689
basic_machine=sparc-tti
692
basic_machine=m68k-tti
695
basic_machine=ns32k-pc532
697
pentium | p5 | k5 | k6 | nexgen)
698
basic_machine=i586-pc
700
pentiumpro | p6 | 6x86 | athlon)
701
basic_machine=i686-pc
703
pentiumii | pentium2)
704
basic_machine=i686-pc
706
pentium-* | p5-* | k5-* | k6-* | nexgen-*)
707
basic_machine=i586-`echo $basic_machine | sed 's/^[^-]*-//'`
709
pentiumpro-* | p6-* | 6x86-* | athlon-*)
710
basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
712
pentiumii-* | pentium2-*)
713
basic_machine=i686-`echo $basic_machine | sed 's/^[^-]*-//'`
716
basic_machine=pn-gould
718
power) basic_machine=power-ibm
720
ppc) basic_machine=powerpc-unknown
722
ppc-*) basic_machine=powerpc-`echo $basic_machine | sed 's/^[^-]*-//'`
724
ppcle | powerpclittle | ppc-le | powerpc-little)
725
basic_machine=powerpcle-unknown
727
ppcle-* | powerpclittle-*)
728
basic_machine=powerpcle-`echo $basic_machine | sed 's/^[^-]*-//'`
731
basic_machine=i386-ibm
734
basic_machine=i586-unknown
738
basic_machine=m68k-rom68k
742
basic_machine=mips-siemens
745
basic_machine=romp-ibm
748
basic_machine=a29k-amd
752
basic_machine=i386-sequent
755
basic_machine=sh-hitachi
759
basic_machine=sparclite-wrs
763
basic_machine=m68k-bull
767
basic_machine=spur-unknown
770
basic_machine=m68k-tandem
773
basic_machine=i860-stratus
777
basic_machine=m68000-sun
780
basic_machine=m68000-sun
784
basic_machine=m68000-sun
788
basic_machine=m68k-sun
792
basic_machine=m68k-sun
796
basic_machine=sparc-sun
800
basic_machine=sparc-sun
804
basic_machine=sparc-sun
808
basic_machine=m68k-sun
811
basic_machine=sparc-sun
813
sun386 | sun386i | roadrunner)
814
basic_machine=i386-sun
817
basic_machine=sv1-cray
821
basic_machine=i386-sequent
825
basic_machine=t3e-cray
829
basic_machine=tic54x-unknown
833
basic_machine=mipstx39-unknown
836
basic_machine=mipstx39el-unknown
839
basic_machine=m68k-ncr
842
basic_machine=a29k-amd
846
basic_machine=a29k-nyu
850
basic_machine=v810-nec
854
basic_machine=vax-dec
858
basic_machine=vax-dec
862
basic_machine=f301-fujitsu
865
basic_machine=i960-wrs
869
basic_machine=m68k-wrs
873
basic_machine=a29k-wrs
877
basic_machine=w65-wdc
881
basic_machine=hppa1.1-winbond
885
basic_machine=xmp-cray
889
basic_machine=xps100-honeywell
892
basic_machine=z8k-unknown
896
basic_machine=none-none
900
# Here we handle the default manufacturer of certain CPU types. It is in
901
# some cases the only manufacturer, in others, it is the most popular.
903
basic_machine=hppa1.1-winbond
906
basic_machine=hppa1.1-oki
909
basic_machine=hppa1.1-oki
912
if [ x$os = x-linux-gnu ]; then
913
basic_machine=mips-unknown
915
basic_machine=mips-mips
919
basic_machine=romp-ibm
922
basic_machine=rs6000-ibm
925
basic_machine=vax-dec
928
# there are many clones, so DEC is not a safe bet
929
basic_machine=pdp10-unknown
932
basic_machine=pdp11-dec
935
basic_machine=we32k-att
938
basic_machine=sh-unknown
940
sparc | sparcv9 | sparcv9b)
941
basic_machine=sparc-sun
944
basic_machine=cydra-cydrome
947
basic_machine=orion-highlevel
950
basic_machine=clipper-highlevel
953
basic_machine=m68k-apple
956
basic_machine=powerpc-apple
959
basic_machine=c4x-none
963
# Make sure to match an already-canonicalized machine name.
966
echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
971
# Here we canonicalize certain aliases for manufacturers.
972
case $basic_machine in
974
basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
977
basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
983
# Decode manufacturer-specific aliases for certain operating systems.
988
# First match some system type aliases
989
# that might get confused with valid system types.
990
# -solaris* is a basic system type, with this one exception.
991
-solaris1 | -solaris1.*)
992
os=`echo $os | sed -e 's|solaris1|sunos4|'`
1004
os=`echo $os | sed -e 's|gnu/linux|linux-gnu|'`
1006
# First accept the basic system types.
1007
# The portable systems comes first.
1008
# Each alternative MUST END IN A *, to match a version number.
1009
# -sysv* is not here because it comes later, after sysvr4.
1010
-gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1011
| -*vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]*\
1012
| -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
1013
| -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \
1015
| -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \
1016
| -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \
1017
| -hiux* | -386bsd* | -netbsd* | -openbsd* | -freebsd* | -riscix* \
1018
| -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* | -oabi* \
1019
| -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
1020
| -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
1021
| -cygwin* | -pe* | -psos* | -moss* | -proelf* | -rtems* \
1022
| -mingw32* | -linux-gnu* | -uxpv* | -beos* | -mpeix* | -udk* \
1023
| -interix* | -uwin* | -rhapsody* | -darwin* | -opened* \
1024
| -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
1025
| -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* | -os2*)
1026
# Remember, each alternative MUST END IN *, to match a version number.
1029
case $basic_machine in
1040
-sim | -es1800* | -hms* | -xray | -os68k* | -none* | -v88r* \
1041
| -windows* | -osx | -abug | -netware* | -os9* | -beos* \
1042
| -macos* | -mpw* | -magic* | -mmixware* | -mon960* | -lnews*)
1045
os=`echo $os | sed -e 's|mac|macos|'`
1048
os=`echo $os | sed -e 's|linux|linux-gnu|'`
1051
os=`echo $os | sed -e 's|sunos5|solaris2|'`
1054
os=`echo $os | sed -e 's|sunos6|solaris3|'`
1089
# Preserve the version number of sinix5.
1091
os=`echo $os | sed -e 's|sinix|sysv|'`
1111
# This must come after -sysvr4.
1123
-*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1129
# Get rid of the `-' at the beginning of $os.
1130
os=`echo $os | sed 's/[^-]*-//'`
1131
echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
1137
# Here we handle the default operating systems that come with various machines.
1138
# The value should be what the vendor currently ships out the door with their
1139
# machine or put another way, the most popular os provided with the machine.
1141
# Note that if you're going to try to match "-MANUFACTURER" here (say,
1142
# "-sun"), then you have to tell the case statement up towards the top
1143
# that MANUFACTURER isn't an operating system. Otherwise, code above
1144
# will signal an error saying that MANUFACTURER isn't an operating
1145
# system, and we'll never get to this point.
1147
case $basic_machine in
1174
# This also exists in the configure program, but was not the
1187
*-tti) # must be before sparc entry or we get the wrong os.
1214
i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
1268
f30[01]-fujitsu | f700-fujitsu)
1289
# Here we handle the case where we know the os, and the CPU type, but not the
1290
# manufacturer. We pick the logical manufacturer.
1292
case $basic_machine in
1334
-vxsim* | -vxworks*)
1346
-*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1350
basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
1354
echo $basic_machine$os
1358
# eval: (add-hook 'write-file-hooks 'time-stamp)
1359
# time-stamp-start: "timestamp='"
1360
# time-stamp-format: "%:y-%02m-%02d"
1361
# time-stamp-end: "'"