Don't include simgrid/config.h from simgrid/modelchecker.h so that the later is cheap...

[simgrid.git] / tools / cmake / scripts / my_valgrind.pl

diff --git a/tools/cmake/scripts/my_valgrind.pl b/tools/cmake/scripts/my_valgrind.pl
index 1c92c7292020be861da67aa117299e8f325af53d..be6180b147a49bc09e7cca2482bd732349f1451e 100755 (executable)
--- a/tools/cmake/scripts/my_valgrind.pl
+++ b/tools/cmake/scripts/my_valgrind.pl
@@ -1,6 +1,6 @@
 #!/usr/bin/env perl
 
-# Copyright (c) 2012-2021. The SimGrid Team. All rights reserved.
+# Copyright (c) 2012-2022. The SimGrid Team. All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # under the terms of the license (GNU LGPL) which comes with this package.
@@ -8,7 +8,7 @@
 use strict;
 use warnings;
 
-my @argv = ("valgrind");
+my @argv = ("valgrind", "--quiet");
 my $count = 0;
 
 while (defined(my $arg = shift)) {