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 16ee812c6..76816887c 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -4570,6 +4570,9 @@ sub displaylogs { if(($log =~ /^netrc\d+/) && ($log !~ /^netrc$testnum/)) { next; # skip netrcNnn of other tests } + if(($log =~ /^trace\d+/) && ($log !~ /^trace$testnum/)) { + next; # skip traceNnn of other tests + } if(($log =~ /^valgrind\d+/) && ($log !~ /^valgrind$testnum(\..*|)$/)) { next; # skip valgrindNnn of other tests } |