mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
WL#3201
" Configure support for server plugins "
This commit is contained in:
parent
b02463c15a
commit
4e11a4d941
52 changed files with 1384 additions and 715 deletions
|
|
@ -24,9 +24,8 @@ EXTRA_DIST = INSTALL-SOURCE INSTALL-WIN-SOURCE \
|
|||
SUBDIRS = . include @docs_dirs@ @zlib_dir@ @yassl_dir@ \
|
||||
@readline_topdir@ sql-common \
|
||||
@thread_dirs@ pstack \
|
||||
@sql_union_dirs@ @mysql_se_dirs@ \
|
||||
@sql_union_dirs@ @mysql_plugin_dirs@ \
|
||||
@sql_server@ scripts @man_dirs@ tests \
|
||||
@mysql_se_plugins@ \
|
||||
netware @libmysqld_dirs@ \
|
||||
@bench_dirs@ support-files @tools_dirs@ \
|
||||
plugin win
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue