diff options
| author | Vicențiu Ciorbaru <vicentiu@mariadb.org> | 2017-03-21 16:25:38 +0200 |
|---|---|---|
| committer | Vicențiu Ciorbaru <vicentiu@mariadb.org> | 2017-03-21 17:12:14 +0200 |
| commit | 69ba6b36e624fbe16aead82d3e013aa49d969b8d (patch) | |
| tree | b6a842bedcef620229f234384103b16553fb9eba /debian/mariadb-plugin-rocksdb.install | |
| parent | 21bbe10bb3458c0f8336f8fee8b2246f005e76e4 (diff) | |
| download | mariadb-git-69ba6b36e624fbe16aead82d3e013aa49d969b8d.tar.gz | |
Add rocksdb as a plugin into debian packaging
Diffstat (limited to 'debian/mariadb-plugin-rocksdb.install')
| -rw-r--r-- | debian/mariadb-plugin-rocksdb.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/mariadb-plugin-rocksdb.install b/debian/mariadb-plugin-rocksdb.install new file mode 100644 index 00000000000..e92306c97b7 --- /dev/null +++ b/debian/mariadb-plugin-rocksdb.install @@ -0,0 +1,3 @@ +etc/mysql/conf.d/rocksdb_se.cnf etc/mysql/mariadb.conf.d +usr/lib/mysql/plugin/ha_rocksdb.so + |