1
0
mirror of https://github.com/MariaDB/server.git synced 2025-09-02 09:41:40 +03:00

manually merged

This commit is contained in:
serg@serg.mylan
2004-08-18 19:57:55 +02:00
107 changed files with 995 additions and 258 deletions

View File

@@ -612,6 +612,8 @@ show_failed_diff ()
echo "Please follow the instructions outlined at"
echo "http://www.mysql.com/doc/en/Reporting_mysqltest_bugs.html"
echo "to find the reason to this problem and how to report this."
echo ""
echo "Test $1 failed!"
fi
}