diff options
Diffstat (limited to 'bdb/db_printlog/range.awk')
| -rw-r--r-- | bdb/db_printlog/range.awk | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/bdb/db_printlog/range.awk b/bdb/db_printlog/range.awk deleted file mode 100644 index 7abb410b40f..00000000000 --- a/bdb/db_printlog/range.awk +++ /dev/null @@ -1,27 +0,0 @@ -# $Id: range.awk,v 10.2 1999/11/21 18:01:42 bostic Exp $ -# -# Print out a range of the log - -/^\[/{ - l = length($1) - 1; - i = index($1, "]"); - file = substr($1, 2, i - 2); - file += 0; - start = i + 2; - offset = substr($1, start, l - start + 1); - i = index(offset, "]"); - offset = substr($1, start, i - 1); - offset += 0; - - if ((file == START_FILE && offset >= START_OFFSET || file > START_FILE)\ - && (file < END_FILE || (file == END_FILE && offset < END_OFFSET))) - printme = 1 - else if (file == END_FILE && offset > END_OFFSET || file > END_FILE) - exit - else - printme = 0 -} -{ - if (printme == 1) - print $0 -} |