diff options
Diffstat (limited to 'Tools/scripts/rgrep.py')
| -rwxr-xr-x | Tools/scripts/rgrep.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Tools/scripts/rgrep.py b/Tools/scripts/rgrep.py index 0271242407..b64420645e 100755 --- a/Tools/scripts/rgrep.py +++ b/Tools/scripts/rgrep.py @@ -7,7 +7,6 @@ Usage: rgrep [-i] pattern file import sys import re -import string import getopt def main(): @@ -38,7 +37,7 @@ def main(): pos = pos - size f.seek(pos) buffer = f.read(size) - lines = string.split(buffer, "\n") + lines = buffer.split("\n") del buffer if leftover is None: if not lines[-1]: |