From 00d50d457c33ae633885a020220d6697b35ccf7c Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Mon, 10 Mar 2025 12:25:55 +0100
Subject: [PATCH] Let's use Debian as reference Valgrind platform

Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
---
 ci-build.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/ci-build.sh b/ci-build.sh
index 77e0eb35..82ff76ff 100755
--- a/ci-build.sh
+++ b/ci-build.sh
@@ -128,7 +128,11 @@ case "$ARCH" in
         ./configure ${tests[0]} --enable-valgrind $*
 
         $MAKE CC="${CC}"
-        $MAKE check-valgrind || log_content ./test-suite-memcheck.log
+        if grep '^ID=' /etc/os-release | grep -q -e debian; then
+            $MAKE check-valgrind
+        else
+            $MAKE check-valgrind || log_content ./test-suite-memcheck.log
+        fi
         $MAKE distclean
         ;;
 esac