diff options
| author | Michael Widenius <monty@mariadb.org> | 2017-05-11 17:08:40 +0300 |
|---|---|---|
| committer | Michael Widenius <monty@mariadb.org> | 2017-05-11 17:08:40 +0300 |
| commit | 1fbf1c6d7c0a2b8dca3b41103042d57d80bb227d (patch) | |
| tree | 064952cf4f1d3671a98144a6479e24f1ce33b31d /BUILD | |
| parent | f4df8c00c957146f04db031f1f9f80aab229d1d2 (diff) | |
| download | mariadb-git-1fbf1c6d7c0a2b8dca3b41103042d57d80bb227d.tar.gz | |
Build MyRocks as a plugin (as static compilation doesn't work)
Diffstat (limited to 'BUILD')
| -rwxr-xr-x | BUILD/SETUP.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 22357ce7fc8..8aeefe39120 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -205,7 +205,7 @@ fi max_no_embedded_configs="$SSL_LIBRARY --with-plugins=max" max_no_qc_configs="$SSL_LIBRARY --with-plugins=max --without-query-cache" -max_configs="$SSL_LIBRARY --with-plugins=max --with-embedded-server --with-libevent --without-plugin=plugin_file_key_management" +max_configs="$SSL_LIBRARY --with-plugins=max --with-embedded-server --with-libevent --without-plugin=plugin_file_key_management --with-plugin-rocksdb=dynamic" all_configs="$SSL_LIBRARY --with-plugins=max --with-embedded-server --with-innodb_plugin --with-libevent" # |