diff --git a/debian/rules b/debian/rules index 6c39e08d..8f587fb1 100755 --- a/debian/rules +++ b/debian/rules @@ -81,13 +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 or on the -# developer workstation (with the PATH) - if test -d /opt/cov-analysis/bin/; then \ - PRE_PROCESS=/opt/cov-analysis/bin/cov-build --dir cov-int; \ - else \ - PRE_PROCESS=cov-build --dir cov-int; \ - fi +# Where the binaries are installed on the jenkins instance + PRE_PROCESS=/opt/cov-analysis/bin/cov-build --dir cov-int # no need to run tests in this case DEB_BUILD_OPTIONS+=" nocheck" endif