1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

more verbose tests

This commit is contained in:
Sergei Golubchik
2020-04-21 18:45:12 +02:00
parent b976b9bfc3
commit 2144dc1ff2
16 changed files with 38 additions and 0 deletions

View File

@ -3,6 +3,7 @@
# Fatal error: mysql.user table is damaged or in
# unsupported 3.20 format
#
# switching from mysql.global_priv to mysql.user
#
# Original mysql.user table
#
@ -221,3 +222,4 @@ drop user user@localhost;
#
# Reset to final original state.
#
# switching back from mysql.user to mysql.global_priv