summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a28d5158e05..44dcf772b32 100644
--- a/.gitignore
+++ b/.gitignore
@@ -66,3 +66,8 @@ m4/
# where is this from?
web/*.html
+# dir from coverity tools
+cov-int/
+
+/test-driver
+