annotate src/mkdefs @ 4720:e759d01692db ss-2-1-53

[project @ 2004-01-23 04:13:37 by jwe]
author jwe
date Fri, 23 Jan 2004 04:13:37 +0000
parents 02fcb550f20c
children c1b66b74937d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2335
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
1 #!/bin/sh
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
2
4299
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 3742
diff changeset
3 SED=${SED:-'sed'}
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 3742
diff changeset
4
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 3742
diff changeset
5 $SED -n -e '/^ *BEGIN_INSTALL_BUILTIN/{
2335
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
6 : loop
3742
078fde449ebc [project @ 2000-11-29 22:58:52 by jwe]
jwe
parents: 3321
diff changeset
7 s/BEGIN_INSTALL_BUILTIN//
078fde449ebc [project @ 2000-11-29 22:58:52 by jwe]
jwe
parents: 3321
diff changeset
8 s/^#[ \t][ \t]*[0-9][0-9]*.*$//
2335
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
9 /END_INSTALL_BUILTIN/b done
3742
078fde449ebc [project @ 2000-11-29 22:58:52 by jwe]
jwe
parents: 3321
diff changeset
10 p
078fde449ebc [project @ 2000-11-29 22:58:52 by jwe]
jwe
parents: 3321
diff changeset
11 n
2335
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
12 b loop
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
13 : done
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
14 s/END_INSTALL_BUILTIN//
4a9feb849125 [project @ 1996-07-19 02:51:02 by jwe]
jwe
parents:
diff changeset
15 p
3742
078fde449ebc [project @ 2000-11-29 22:58:52 by jwe]
jwe
parents: 3321
diff changeset
16 }'