From 5e863135850609ca997792be0a62befb351b4236 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sat, 16 Nov 2013 14:20:09 +0000 Subject: do an actual build instead of a clean on coverity --- citools/jenkins-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh index 047806a..ab7b4e7 100755 --- a/citools/jenkins-build.sh +++ b/citools/jenkins-build.sh @@ -184,7 +184,7 @@ elif [ "x${TARGET}" = "x${TARGET_COVERITY}" ]; then # cleanup before we start rm -rf cov-int/ coverity-scan.tar.gz coverity-scan.tar - cov-build --dir cov-int make Q= clean TARGET=${TARGET_TARGET} BUILD=${TARGET_BUILD} + cov-build --dir cov-int make Q= TARGET=${TARGET_TARGET} BUILD=${TARGET_BUILD} tar cf coverity-scan.tar -- cgit v1.2.3