diff options
author | Vladislav Vaintroub <wlad@mariadb.com> | 2016-03-10 17:12:58 +0100 |
---|---|---|
committer | Vladislav Vaintroub <wlad@mariadb.com> | 2016-03-13 20:26:21 +0100 |
commit | 517584dde0b42f261ac92751c7c7b1959f7c2d9b (patch) | |
tree | 33758bf1a23c39b01042dbb11cd45060f3e2869a /wsrep | |
parent | a12326458dde270c9df7aeef3684d5c5d8fd4402 (diff) | |
download | mariadb-git-517584dde0b42f261ac92751c7c7b1959f7c2d9b.tar.gz |
Provide a way to reenable DISABLED plugin with -DPLUGIN_${NAME}=STATIC|DYNAMIC
Diffstat (limited to 'wsrep')
0 files changed, 0 insertions, 0 deletions