Ignore Coverity build directory

HZ1SF · Mar 4, 2017 · 5a22a7b · 5a22a7b
1 parent 2b0caee
commit 5a22a7b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,7 @@ config.log
 config.status
 config.sub
 config.cache
+cov-int/
 depcomp
 aclocal.m4
 autom4te.cache