From 91e58ef0de20a60769fb2fd2ac3d0ae8069c3676 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Sun, 2 Jul 2023 16:07:38 +0200
Subject: Remove use of valgrind in make check
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0bb5353..81430c3 100644
--- a/Makefile
+++ b/Makefile
@@ -168,10 +168,7 @@ check: test
 	@test $$(sha256sum .testfile | cut -d ' ' -f 1) = \
 	      e21d814d21ca269246849cc105faec1a71ac7d1cdb1a86023254f49d51b47231 || \
 	      ( echo 'The file .testfile is incorrect, test will fail!' ; false )
-	valgrind --leak-check=full ./test
-	test $$(valgrind ./test 2>&1 >/dev/null | wc -l) = 14
-# Using valgrind 3.10.0, its output to standard error should consist of 14 lines,
-# the test itself never prints to standard error.
+	$(CHECK_PREFIX) ./test
 
 benchfile:
 	dd if=/dev/urandom bs=1000 count=50 > $@
-- 
cgit v1.2.3-70-g09d2