From 185a38a75ae96073db3a0c8e7ab6b038fdebcb6d Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sun, 29 Sep 2013 18:03:17 +0000
Subject: [PATCH] use an hardcoded path

---
 debian/rules | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

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