diff options
| author | Vladislav Vaintroub <wlad@mariadb.com> | 2019-05-26 12:54:46 +0200 |
|---|---|---|
| committer | Sergei Krivonos <sergei.krivonos@mariadb.com> | 2021-11-09 16:57:27 +0200 |
| commit | 7acf31783c93b54e04d42c9ecec7c7426f5ca31f (patch) | |
| tree | 07951177297c2c11ad2ea0549e179c02437f1cf6 /extra | |
| parent | f7c6c02a06149aa4f41dd01173f2020a0756f8db (diff) | |
| download | mariadb-git-7acf31783c93b54e04d42c9ecec7c7426f5ca31f.tar.gz | |
Add new option NOT_EMBEDDED, for plugins
Means, plugin will not be available in embedded, even if compiled-in
Diffstat (limited to 'extra')
0 files changed, 0 insertions, 0 deletions