Check if valgrind is operational

nsauzede · Oct 16, 2023 · 162e2aa · 162e2aa
1 parent 5c4ae7e
commit 162e2aa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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