mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
8 lines
233 B
PHP
8 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;
|
||
|
}
|