mirror of
https://github.com/MariaDB/server.git
synced 2025-08-08 11:22:35 +03:00
Fixup d1c3342d07
for --embedded
This commit is contained in:
@@ -1,3 +1,4 @@
|
|||||||
|
--source include/not_embedded.inc
|
||||||
if (`SELECT COUNT(*) = 0 FROM INFORMATION_SCHEMA.PLUGINS WHERE PLUGIN_NAME = 'innodb' AND PLUGIN_LIBRARY IS NULL`)
|
if (`SELECT COUNT(*) = 0 FROM INFORMATION_SCHEMA.PLUGINS WHERE PLUGIN_NAME = 'innodb' AND PLUGIN_LIBRARY IS NULL`)
|
||||||
{
|
{
|
||||||
--skip Requires built-in InnoDB.
|
--skip Requires built-in InnoDB.
|
||||||
|
Reference in New Issue
Block a user