From f16c7dc6320d96e0d93231c401190b50e6e99422 Mon Sep 17 00:00:00 2001
From: Peter Jones <pjones@redhat.com>
Date: Mon, 7 Dec 2020 14:30:37 -0500
Subject: [PATCH] Try to make coverity.mk work without cov-build installed.

---
 Make.coverity | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/Make.coverity b/Make.coverity
index 1ffeced..996e826 100644
--- a/Make.coverity
+++ b/Make.coverity
@@ -38,11 +38,8 @@ coverity-all : cov-int-all cov-file cov-upload
 
 clean : | cov-clean
 
-COV_BUILD ?= $(shell x=$$(which --skip-alias --skip-functions cov-build 2>/dev/null) ; [ -n "$$x" ] && echo 1)
-ifeq ($(COV_BUILD),)
-	COV_BUILD_ERROR = $(error cov-build not found)
-endif
+COV_BUILD ?= $(shell x=$$(which --skip-alias --skip-functions cov-build 2>/dev/null) ; [ -n "$$x" ] && echo "$$x")
 
-cov-test : ; $(COV_BUILD_ERROR)
+cov-test : ; $(if $(findstring /,$(COV_BUILD)),,$(error cov-build not found))
 
 .PHONY : coverity cov-upload cov-clean cov-file cov-test