changeset 2144 | d3bddedfdbd0 |
parent 2067 | 3094becfd8e8 |
child 3223 | 53e843840349 |
--- a/tests/coverage.py Wed Apr 26 22:42:07 2006 -0700 +++ b/tests/coverage.py Thu Apr 27 21:59:44 2006 -0700 @@ -350,6 +350,7 @@ show_missing = settings.get('show-missing') directory = settings.get('directory') omit = filter(None, settings.get('omit', '').split(',')) + omit += ['/<'] # Always skip /<string> etc. if settings.get('report'): self.report(args, show_missing, ignore_errors, omit_prefixes=omit)