diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py index f9914b5d7..e7e3e7c3d 100644 --- a/scripts/dev/check_coverage.py +++ b/scripts/dev/check_coverage.py @@ -154,7 +154,6 @@ def _get_filename(filename): return filename - def check(fileobj, perfect_files): """Main entry point which parses/checks coverage.xml if applicable.""" if sys.platform != 'linux':