From 162e2aaccf08ea949f0eb5531262f3d847a0d23f Mon Sep 17 00:00:00 2001 From: Nicolas Sauzede Date: Tue, 17 Oct 2023 00:38:25 +0200 Subject: [PATCH] Check if valgrind is operational --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index e99475e..bb4c77b 100644 --- a/Makefile +++ b/Makefile @@ -62,7 +62,8 @@ ifeq ($(CC),$(CLANG)) VALGRIND:= endif -ifeq (, $(shell which $(VALGRIND) 2>/dev/null)) +# Check if valgrind is operational (eg: not missing debuginfo etc..) +ifneq (0, $(shell $(VALGRIND) /bin/false 2>/dev/null ; echo $?)) #$(error "NOT HAVE VALGRIND ($(VALGRIND))") RUN:= RUNTEST:=RUN