diff --git a/tests/runtests.pl b/tests/runtests.pl index 875d8baa6726a11cbbb1488005bdc551d97cd63c..b7a1b4a8015cb3ff6d24ec7eaaddd0e450744bea 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -2729,6 +2729,9 @@ sub displaylogs { if(($log =~ /^file\d+\.txt/) && ($log !~ /^file$testnum\.txt/)) { next; # skip fileNnn.txt of other tests } + if(($log =~ /^valgrind\d+/) && ($log !~ /^valgrind$testnum/)) { + next; # skip valgrindNnn of other tests + } logmsg "=== Start of file $log\n"; displaylogcontent("$LOGDIR/$log"); logmsg "=== End of file $log\n";