From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 7 May 2019 21:46:59 +0000 (+0200)
Subject: Use "exec" so that failures are correclty reported upstream.
X-Git-Tag: v3.22.4~127^2~44
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5096f6930d4823cfc3f2569e7c97bce9fb42d4e1?ds=sidebyside

Use "exec" so that failures are correclty reported upstream.
---

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;