aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl
index 875d8baa6..b7a1b4a80 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";