1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Coding style fixes

This commit is contained in:
Sergey Vojtovich
2020-04-03 20:53:53 +04:00
parent e4a960780f
commit 4338bb8a75
6 changed files with 28 additions and 22 deletions

View File

@@ -5042,8 +5042,10 @@ static int init_server_components()
{"timed-mutexes", OPT_DEPRECATED_OPTION, "",
0, 0, 0, GET_NO_ARG, OPT_ARG, 0, 0, 0, 0, 0, 0},
#if defined(__linux__)
/* Linux was the only large page OS that we've now removed the (always)
unused super-large-pages (because its Solaris only). */
/*
Linux was the only large page OS that we've now removed the (always)
unused super-large-pages (because its Solaris only).
*/
{"super-large-pages", OPT_DEPRECATED_OPTION, "",
0, 0, 0, GET_NO_ARG, OPT_ARG, 0, 0, 0, 0, 0, 0},
#endif