Makefile target "coverity" is renamed to coverity-aggressive, and target coverity is defined as a little less aggressive.
Signed-off-by: Jan Friesse <[email protected]> --- Makefile.am | 11 +++++++++++ 1 files changed, 11 insertions(+), 0 deletions(-) diff --git a/Makefile.am b/Makefile.am index 4bebe89..bca0665 100644 --- a/Makefile.am +++ b/Makefile.am @@ -59,6 +59,17 @@ coverity: cov-build --dir=cov make cov-analyze --dir cov \ --concurrency \ + -co BAD_FREE:allow_first_field:true \ + --security \ + --wait-for-license + cov-format-errors --dir cov + +coverity-aggressive: + rm -rf cov + make clean + cov-build --dir=cov make + cov-analyze --dir cov \ + --concurrency \ --all \ --aggressiveness-level high \ --security \ -- 1.7.1 _______________________________________________ discuss mailing list [email protected] http://lists.corosync.org/mailman/listinfo/discuss
