mirror of
https://github.com/MariaDB/server.git
synced 2025-07-20 10:24:14 +03:00
Currently include/have_innodb_4k.inc etc. files only check that the server is running with the corresponding page size. I think it would be more convenient if they actually enforced the setting.