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

Merge branch '10.4' into 10.5

This commit is contained in:
Oleksandr Byelkin
2020-11-01 14:26:15 +01:00
61 changed files with 1124 additions and 154 deletions

View File

@ -1,13 +1,6 @@
--source include/not_embedded.inc
--source include/have_example_plugin.inc
--source include/have_innodb.inc
if (!`select count(*) from information_schema.plugins
where plugin_name = 'innodb' and plugin_status = 'active' and
plugin_library is null`) {
skip Need compiled-in InnoDB;
}
--source include/have_static_innodb.inc
install plugin example soname 'ha_example';
create table t1(a int) engine=example;