diff options
Diffstat (limited to 'citools/jenkins-build.sh')
-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 |