Hi Honza, Could you please point me where I can get coverity tool? Thanks. On Sep 16, 2013 8:42 PM, "Jan Friesse" <[email protected]> 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: > -- > 1.7.1 > > _______________________________________________ > discuss mailing list > [email protected] > http://lists.corosync.org/mailman/listinfo/discuss >
_______________________________________________ discuss mailing list [email protected] http://lists.corosync.org/mailman/listinfo/discuss
