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 /citools | |
| parent | 9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6 (diff) | |
| download | buildsystem-5e863135850609ca997792be0a62befb351b4236.tar.gz buildsystem-5e863135850609ca997792be0a62befb351b4236.tar.bz2 | |
do an actual build instead of a clean on coverity
Diffstat (limited to 'citools')
| -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 |