summaryrefslogtreecommitdiff
path: root/storage/rocksdb/ha_rocksdb.h
diff options
context:
space:
mode:
authorMarko Mäkelä <marko.makela@mariadb.com>2018-04-23 09:49:58 +0300
committerMarko Mäkelä <marko.makela@mariadb.com>2018-04-23 09:49:58 +0300
commitc6ba758d1d41c11466b8f9b61b4546efc95aa689 (patch)
tree2f97d6bd28253b8ee60c2948050599fd6d96da74 /storage/rocksdb/ha_rocksdb.h
parent6426b52ed43876ccc0142fc31f98dd6d42292388 (diff)
parent619dc2b24f26aea29345dc3f3289bed406738025 (diff)
downloadmariadb-git-c6ba758d1d41c11466b8f9b61b4546efc95aa689.tar.gz
Merge 10.2 into 10.3
Diffstat (limited to 'storage/rocksdb/ha_rocksdb.h')
-rw-r--r--storage/rocksdb/ha_rocksdb.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/storage/rocksdb/ha_rocksdb.h b/storage/rocksdb/ha_rocksdb.h
index af5cc5c3024..482a2e4ca99 100644
--- a/storage/rocksdb/ha_rocksdb.h
+++ b/storage/rocksdb/ha_rocksdb.h
@@ -1415,4 +1415,8 @@ private:
const int MYROCKS_MARIADB_PLUGIN_MATURITY_LEVEL= MariaDB_PLUGIN_MATURITY_GAMMA;
extern bool prevent_myrocks_loading;
+
+void sql_print_verbose_info(const char *format, ...);
+
} // namespace myrocks
+