diff options
-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 ab7b4e7..a706a48 100755 --- a/citools/jenkins-build.sh +++ b/citools/jenkins-build.sh @@ -186,7 +186,7 @@ elif [ "x${TARGET}" = "x${TARGET_COVERITY}" ]; then cov-build --dir cov-int make Q= TARGET=${TARGET_TARGET} BUILD=${TARGET_BUILD} - tar cf coverity-scan.tar + tar cf coverity-scan.tar cov-int gzip -9 coverity-scan.tar |