diff --git a/debian/rules b/debian/rules index 8f587fb1..1b4c1134 100755 --- a/debian/rules +++ b/debian/rules @@ -81,8 +81,8 @@ ifneq (,$(filter coverity,$(DEB_BUILD_OPTIONS))) # enable the build using coverity # pbuilder contains BINDMOUNTS="/opt/cov-analysis/" # And we have some pbuilder hooks to configure and pack the result -# Where the binaries are installed on the jenkins instance - PRE_PROCESS=/opt/cov-analysis/bin/cov-build --dir cov-int +# Where the binaries are installed on the jenkins instance + PRE_PROCESS=/opt/cov-analysis/bin/cov-build --dir cov-int --tmpdir /tmp/ # no need to run tests in this case DEB_BUILD_OPTIONS+=" nocheck" endif