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

Skip MYSQL_JSON related tests if the plugin is not compiled

This commit is contained in:
Vicențiu Ciorbaru
2020-10-28 21:21:15 +02:00
parent 9a4398b048
commit 17ec6d6ce1
2 changed files with 8 additions and 0 deletions

View File

@ -1,5 +1,9 @@
--source include/have_utf8.inc --source include/have_utf8.inc
if (!$TYPE_MYSQL_JSON_SO) {
skip Need MYSQL_JSON plugin;
}
--echo # --echo #
--echo # The following test takes 2 tables containing a JSON column and attempts --echo # The following test takes 2 tables containing a JSON column and attempts
--echo # to repair them. --echo # to repair them.

View File

@ -2,6 +2,10 @@
-- source include/have_working_dns.inc -- source include/have_working_dns.inc
-- source include/have_innodb.inc -- source include/have_innodb.inc
if (!$TYPE_MYSQL_JSON_SO) {
skip Need MYSQL_JSON plugin;
}
call mtr.add_suppression("Table rebuild required"); call mtr.add_suppression("Table rebuild required");
call mtr.add_suppression("is marked as crashed"); call mtr.add_suppression("is marked as crashed");
call mtr.add_suppression("Checking"); call mtr.add_suppression("Checking");