diff options
author | Costa Tsaousis <costa@tsaousis.gr> | 2019-08-31 21:10:53 +0300 |
---|---|---|
committer | Paul Emm. Katsoulakis <34388743+paulkatsoulakis@users.noreply.github.com> | 2019-08-31 21:10:53 +0300 |
commit | fd9eb73ccc705846eeaf816c590187077a9b7450 (patch) | |
tree | 1d2f5a15ef2404f6a284e8e1ceac6d43ae69259b /.gitignore | |
parent | 59dd72b8efef91a78a462972c1ddadfb09fd4557 (diff) |
make coverity-scan.sh usable by hand (#6747)
* make coverity-scan.sh usable by hand
* updated debug variable and docs
* merge coverity-scan.sh and coverity-install.sh
-- MERGING AND TAKING OVER FURTHER IMPROVEMENTS as agreed --
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 4251aff4e1..52a108f7fd 100644 --- a/.gitignore +++ b/.gitignore @@ -77,8 +77,7 @@ packaging/makeself/tmp/ # coverity cov-int/ netdata-coverity-analysis.tgz -.coverity-token -.coverity-build +.coverity-scan.conf .cproject/ .idea/ |