diff --git a/.gitignore b/.gitignore index a44b733b10172d..de25253df82ed4 100644 --- a/.gitignore +++ b/.gitignore @@ -86,3 +86,4 @@ TAGS coverage/ externals/ htmlcov/ +gmon.out