summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorArne Schwabe <arne@rfc2549.org>2021-03-12 15:54:17 +0100
committerArne Schwabe <arne@rfc2549.org>2021-03-12 16:00:27 +0100
commit3bc7b0bf5d072479413471211d85ed3e5b51bab8 (patch)
treeb95d4d363f8fcf7eaed37d5718183159de20feec /.gitignore
parentfea8027f679bf6031342f3972cab7c32ad6e095e (diff)
Add small script to run coverity
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 7c27929e..2f0181bd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,4 +26,6 @@ main/.externalNativeBuild
main/.cxx
.synopsys
polaris.yml
-.polaris-coverity.zip
+.coverity
+idir
+