1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index f60cac6..58ef42a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@
 /config.status
 /configure
 /coverage
+/cov-int
 /libtool
 /stamp-h1
 /test-suite.log