Răsfoiți Sursa

Rename make target coverity

Makefile target "coverity" is renamed to coverity-aggressive, and target
coverity is defined as a little less aggressive.

Signed-off-by: Jan Friesse <jfriesse@redhat.com>
Reviewed-by: Fabio M. Di Nitto <fdinitto@redhat.com>
Jan Friesse 12 ani în urmă
părinte
comite
135d23376c
1 a modificat fișierele cu 11 adăugiri și 0 ștergeri
  1. 11 0
      Makefile.am

+ 11 - 0
Makefile.am

@@ -54,6 +54,17 @@ SUBDIRS			= include common_lib lib exec tools test cts pkgconfig \
 			  man init conf qdevices
 			  man init conf qdevices
 
 
 coverity:
 coverity:
+	rm -rf cov
+	make clean
+	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
 	rm -rf cov
 	make clean
 	make clean
 	cov-build --dir=cov make
 	cov-build --dir=cov make