From 1cce72721b671e0e4b45f9a397bb301b9b5724ab Mon Sep 17 00:00:00 2001 From: David Abdurachmanov Date: Sat, 23 Mar 2024 09:20:55 +0200 Subject: [PATCH] Limit valgrind to supported arches Signed-off-by: David Abdurachmanov --- comps-f40.xml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/comps-f40.xml.in b/comps-f40.xml.in index b6035d32..10ec3282 100644 --- a/comps-f40.xml.in +++ b/comps-f40.xml.in @@ -460,7 +460,7 @@ indent ltrace perf - valgrind + valgrind astyle cbmc check