diff options
author | Vincent Sanders <vincent.sanders@collabora.co.uk> | 2013-11-16 14:20:09 +0000 |
---|---|---|
committer | Vincent Sanders <vincent.sanders@collabora.co.uk> | 2013-11-16 14:20:09 +0000 |
commit | 5e863135850609ca997792be0a62befb351b4236 (patch) | |
tree | 3c996b402bc5d36c382c65ac227d8c4db744650a | |
parent | 9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6 (diff) | |
download | buildsystem-5e863135850609ca997792be0a62befb351b4236.tar.gz buildsystem-5e863135850609ca997792be0a62befb351b4236.tar.bz2 |
do an actual build instead of a clean on coverity
-rwxr-xr-x | citools/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |