Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "Also valgrind childs in CI, to valgrind MC apps"
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 1 Apr 2023 10:20:48 +0000 (12:20 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 1 Apr 2023 10:22:23 +0000 (12:22 +0200)
This is already done in Tests.cmake (note so in my_valgrind.pl)

This reverts commit ee681140d428f4adb2cbfde207a04a4fc5a84b95.

tools/cmake/scripts/my_valgrind.pl

index 5eea545..d2ec57b 100755 (executable)
@@ -8,7 +8,8 @@
 use strict;
 use warnings;
 
-my @argv = ("valgrind", "--quiet", "--trace-children=yes");
+# Many other parameters (such as trace-children) are set in Tests.cmake
+my @argv = ("valgrind", "--quiet");
 my $count = 0;
 
 while (defined(my $arg = shift)) {