1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a28d5158e05..6dc8d49b3ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -66,3 +66,6 @@ m4/
 # where is this from?
 web/*.html
 
+# dir from coverity tools
+cov-int/
+