diff options
| -rwxr-xr-x | tests/runtests.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 76adec161..98c71d5e1 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -2542,6 +2542,9 @@ sub displaylogs { if(($log =~ /^test\d+\.txt/) && ($log !~ /^test$testnum\.txt/)) { next; # skip testNnn.txt of other tests } + if(($log =~ /^file\d+\.txt/) && ($log !~ /^file$testnum\.txt/)) { + next; # skip fileNnn.txt of other tests + } logmsg "=== Start of file $log\n"; displaylogcontent("$LOGDIR/$log"); logmsg "=== End of file $log\n"; |