mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 21:42:35 +01:00
21 lines
548 B
PHP
21 lines
548 B
PHP
|
#
|
||
|
|
# This include file either just prints the message, or skips the rest of the test
|
||
|
|
# Usage:
|
||
|
|
# --let $continue = 1; # optional
|
||
|
|
# --source have_default_index.inc
|
||
|
|
#
|
||
|
|
|
||
|
|
--let $have_default_index = 1
|
||
|
|
if ($default_index == '/*!*/ /*Custom index*/')
|
||
|
|
{
|
||
|
|
if (!$continue)
|
||
|
|
{
|
||
|
|
--source cleanup_engine.inc
|
||
|
|
--skip # Configuration does not allow indexes. Check \$default_index value
|
||
|
|
}
|
||
|
|
--echo # According to the configuration, the engine does not allow indexes. Check \$default_index value
|
||
|
|
--let $have_default_index = 0
|
||
|
|
--let $continue = 0
|
||
|
|
}
|
||
|
|
|