From ee681140d428f4adb2cbfde207a04a4fc5a84b95 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 1 Apr 2023 02:32:40 +0200
Subject: [PATCH] Also valgrind childs in CI, to valgrind MC apps

---
 tools/cmake/scripts/my_valgrind.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cmake/scripts/my_valgrind.pl b/tools/cmake/scripts/my_valgrind.pl
index b13a4fc708..5eea5458f6 100755
--- a/tools/cmake/scripts/my_valgrind.pl
+++ b/tools/cmake/scripts/my_valgrind.pl
@@ -8,7 +8,7 @@
 use strict;
 use warnings;
 
-my @argv = ("valgrind", "--quiet");
+my @argv = ("valgrind", "--quiet", "--trace-children=yes");
 my $count = 0;
 
 while (defined(my $arg = shift)) {
-- 
2.20.1