1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index ffd498c4..183dca29 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,7 @@ config.status
 configure
 configure.ac
 configure.lineno
+cov-int
 cscope.out
 debian
 depcomp