mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 00:54:30 +02:00
Merge branch '10.4' into 10.5
This commit is contained in:
commit
6b343de8ef
27 changed files with 431 additions and 226 deletions
|
|
@ -1,5 +1,10 @@
|
|||
# TODO: Copyrights
|
||||
|
||||
IF(PLUGIN_ROCKSDB STREQUAL "NO")
|
||||
ADD_FEATURE_INFO(ROCKSDB "OFF" "Storage Engine")
|
||||
RETURN()
|
||||
ENDIF()
|
||||
|
||||
SET(CPACK_RPM_rocksdb-engine_PACKAGE_SUMMARY "RocksDB storage engine for MariaDB server" PARENT_SCOPE)
|
||||
SET(CPACK_RPM_rocksdb-engine_PACKAGE_DESCRIPTION "The RocksDB storage engine is a high performance storage engine, aimed
|
||||
at maximising storage efficiency while maintaining InnoDB-like performance." PARENT_SCOPE)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue