diff options
author | Yang Tse <yangsita@gmail.com> | 2007-10-25 18:07:13 +0000 |
---|---|---|
committer | Yang Tse <yangsita@gmail.com> | 2007-10-25 18:07:13 +0000 |
commit | 26c1c8b2ad4ff65fdf77a0337821c4c3cfde6f30 (patch) | |
tree | a15dcefbcb8ea2450ac04650cca7e773806e43ba | |
parent | 824aa5f9181a22a55224d6945886894029d04a3d (diff) |
Don't show valgrind log files of other tests
-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 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"; |