diff --git a/tools/.gitignore b/tools/.gitignore index cd45bceafee50c..034e3ccb7604b8 100644 --- a/tools/.gitignore +++ b/tools/.gitignore @@ -1,5 +1,6 @@ *# -.coverage* +.coverage +.coverage.* htmlcov/ coverage.xml .tox/