mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
a7d5e85c49
and remove unused files
7 lines
233 B
PHP
7 lines
233 B
PHP
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;
|
|
}
|