diff options
| author | Sergey Vojtovich <svoj@mariadb.org> | 2020-04-03 21:13:04 +0400 |
|---|---|---|
| committer | Sergey Vojtovich <svoj@mariadb.org> | 2020-04-04 14:55:51 +0400 |
| commit | 30379b487fc96e8a569a04917d9fd6dfda322b27 (patch) | |
| tree | de1bc2544816535989c2a74a72168463888933fd /sql/wsrep_plugin.cc | |
| parent | 4338bb8a752a05a456cfc10dbecb2a533141025c (diff) | |
| download | mariadb-git-30379b487fc96e8a569a04917d9fd6dfda322b27.tar.gz | |
HAVE_LARGE_PAGE_OPTION to HAVE_LARGE_PAGES
It isn't an "option" anymore.
Diffstat (limited to 'sql/wsrep_plugin.cc')
0 files changed, 0 insertions, 0 deletions