1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Fix after merge

This commit is contained in:
msvensson@pilot.mysql.com
2008-02-28 18:55:46 +01:00
parent 56a354794c
commit 06cf8665c5
9 changed files with 25 additions and 21 deletions

View File

@ -75,7 +75,7 @@ sub mtr_report_test_skipped ($) {
{
if ( $tinfo->{skip_detected_by_test} )
{
mtr_report("[ skip.] $tinfo->{'comment'}");
mtr_report("[ skip ]. $tinfo->{'comment'}");
}
else
{