Re: [PATCH 01/28] Rename make target coverity

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



The whole patchset looks ok, beside that note about votequorum.c changes.

Fabio

On 6/12/2013 5:02 PM, Jan Friesse wrote:
> Makefile target "coverity" is renamed to coverity-aggressive, and target
> coverity is defined as a little less aggressive.
> 
> Signed-off-by: Jan Friesse <jfriesse@xxxxxxxxxx>
> ---
>  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 \
> 

_______________________________________________
discuss mailing list
discuss@xxxxxxxxxxxx
http://lists.corosync.org/mailman/listinfo/discuss




[Index of Archives]     [Linux Clusters]     [Corosync Project]     [Linux USB Devel]     [Linux Audio Users]     [Photo]     [Yosemite News]    [Yosemite Photos]    [Linux Kernel]     [Linux SCSI]     [X.Org]

  Powered by Linux