Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use "exec" so that failures are correclty reported upstream.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 7 May 2019 21:46:59 +0000 (23:46 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 7 May 2019 21:46:59 +0000 (23:46 +0200)
tools/cmake/scripts/my_valgrind.pl

index 4f16abd..eb33cb0 100755 (executable)
@@ -30,4 +30,4 @@ while (defined(my $arg = shift)) {
 # map { print "$_ " } @argv;
 # print "\n";
 
-system @argv;
+exec @argv;