diff options
| author | K. Richard Pixley <rich@cygnus> | 1992-12-08 04:59:31 +0000 |
|---|---|---|
| committer | K. Richard Pixley <rich@cygnus> | 1992-12-08 04:59:31 +0000 |
| commit | 43bbd567f2d928b2628e508ee9c75a3920e26b4d (patch) | |
| tree | 21f1ab246e1a3f963e73c3662bc1d44f591349a1 /bfd/awkscan | |
| parent | a362ee23634a2f9ce9642eab09592e8ff6ae509b (diff) | |
| download | gdb-43bbd567f2d928b2628e508ee9c75a3920e26b4d.zip gdb-43bbd567f2d928b2628e508ee9c75a3920e26b4d.tar.gz gdb-43bbd567f2d928b2628e508ee9c75a3920e26b4d.tar.bz2 | |
recording file death
Diffstat (limited to 'bfd/awkscan')
| -rwxr-xr-x | bfd/awkscan | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/bfd/awkscan b/bfd/awkscan deleted file mode 100755 index 69b0cea..0000000 --- a/bfd/awkscan +++ /dev/null @@ -1,12 +0,0 @@ -# NOTE: BEGIN pattern gives errors if other than 1st line; -# END ditto if other than last. -BEGIN { print "@c ------------------------------START TEXT FROM " FILENAME } -# -# Keep /*doc* blocks (terminated by either */ or *-*/) -/^\/\*doc\*/,/^\*\/|^\*-\*\// -# -# Also keep two kinds of /*proto blocks -/^\/\*proto\*/,/^\*\/|^\*-\*\// -/^\/\*proto-internal\*/,/^\*\/|^\*-\*\// -# -END { print "@c ------------------------------END TEXT FROM " FILENAME } |