diff options
| -rwxr-xr-x | Lib/test/regrtest.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Lib/test/regrtest.py b/Lib/test/regrtest.py index 2d9cac2..9eecd1d 100755 --- a/Lib/test/regrtest.py +++ b/Lib/test/regrtest.py @@ -424,7 +424,9 @@ def main(tests=None, testdir=None, verbose=0, quiet=False, if fromfile: tests = [] fp = open(os.path.join(support.SAVEDCWD, fromfile)) + count_pat = re.compile(r'\[\s*\d+/\s*\d+\]') for line in fp: + line = count_pat.sub('', line) guts = line.split() # assuming no test has whitespace in its name if guts and not guts[0].startswith('#'): tests.extend(guts) |