mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
Merge 10.1 into 10.2
This commit is contained in:
commit
d9dcb8ba02
1 changed files with 0 additions and 3 deletions
|
@ -4,11 +4,8 @@
|
|||
|
||||
--source include/innodb_page_size_small.inc
|
||||
|
||||
--disable_query_log
|
||||
SET default_storage_engine=InnoDB;
|
||||
LET $MYSQLD_DATADIR = `select @@datadir`;
|
||||
LET $INNODB_PAGE_SIZE = `select @@innodb_page_size`;
|
||||
--enable_query_log
|
||||
|
||||
# The IDs of mysql.innodb_table_stats and mysql.innodb_index_stats may
|
||||
# vary depending on whether the tables have been rebuilt
|
||||
|
|
Loading…
Reference in a new issue