1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 09ed7874..499d499b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@ config.status
 config.status.lineno
 configure
 configure.lineno
+cov-int
 cscope.in.out
 cscope.out
 cscope.po.out