1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-07 17:42:39 +03:00

5.1 merge

This commit is contained in:
Sergei Golubchik
2014-01-21 09:41:28 +01:00
13 changed files with 54 additions and 12 deletions

View File

@@ -479,7 +479,7 @@ sub main {
}
}
if ( not defined @$completed ) {
if ( not @$completed ) {
mtr_error("Test suite aborted");
}