I don't know the coverity command-line but it seems sane ;-)

ACK in ignorance.

On 16/09/13 13:42, Jan Friesse wrote:
Also cov directory is removed and make clean is executed.

Signed-off-by: Jan Friesse <[email protected]>
---
  Makefile.am |    8 +++++++-
  1 files changed, 7 insertions(+), 1 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index 315bbaa..aed6fc5 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -58,8 +58,14 @@ SUBDIRS                      = include lcr lib exec services 
tools test pkgconfig \
                          man init conf

  coverity:
+       rm -rf cov
+       make clean
        cov-build --dir=cov make
-       cov-analyze --dir cov
+       cov-analyze --dir cov \
+           --concurrency \
+           -co BAD_FREE:allow_first_field:true \
+           --security \
+           --wait-for-license
        cov-format-errors --dir cov

  install-exec-local:


_______________________________________________
discuss mailing list
[email protected]
http://lists.corosync.org/mailman/listinfo/discuss

Reply via email to