From 5096f6930d4823cfc3f2569e7c97bce9fb42d4e1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 7 May 2019 23:46:59 +0200
Subject: [PATCH] Use "exec" so that failures are correclty reported upstream.

---
 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 4f16abd4c2..eb33cb0e8e 100755
--- a/tools/cmake/scripts/my_valgrind.pl
+++ b/tools/cmake/scripts/my_valgrind.pl
@@ -30,4 +30,4 @@ while (defined(my $arg = shift)) {
 # map { print "$_ " } @argv;
 # print "\n";
 
-system @argv;
+exec @argv;
-- 
2.20.1