summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorDanny Al-Gaaf <danny.al-gaaf@bisect.de>2013-05-29 16:25:50 +0200
committerDanny Al-Gaaf <danny.al-gaaf@bisect.de>2013-05-31 19:15:23 +0200
commit5aa0b1292d42dfebb9719823919263f6275b0640 (patch)
tree63d286bfca96d385bc47b8b201c60ecf55c6bb50 /.gitignore
parentmds/Server.cc: fix dereference after null check (diff)
downloadceph-5aa0b1292d42dfebb9719823919263f6275b0640.tar.xz
ceph-5aa0b1292d42dfebb9719823919263f6275b0640.zip
.gitignore: add directory from coverity tools
Signed-off-by: Danny Al-Gaaf <danny.al-gaaf@bisect.de>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a28d5158e05..6dc8d49b3ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -66,3 +66,6 @@ m4/
# where is this from?
web/*.html
+# dir from coverity tools
+cov-int/
+