Hi Honza,
Could you please point me where I can get coverity tool? Thanks.
On Sep 16, 2013 8:42 PM, "Jan Friesse" <jfriesse@xxxxxxxxxx> wrote:
Also cov directory is removed and make clean is executed.
Signed-off-by: Jan Friesse <jfriesse@xxxxxxxxxx>
---
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:
--
1.7.1
_______________________________________________
discuss mailing list
discuss@xxxxxxxxxxxx
http://lists.corosync.org/mailman/listinfo/discuss
_______________________________________________ discuss mailing list discuss@xxxxxxxxxxxx http://lists.corosync.org/mailman/listinfo/discuss
