mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
add missing plugins to deb packages
This commit is contained in:
parent
b69ed7d621
commit
26f56089c7
4 changed files with 18 additions and 9 deletions
|
|
@ -84,7 +84,7 @@ IF(FEATURE_SET)
|
|||
|
||||
# Update cache with current values, remove engines we do not care about
|
||||
# from build.
|
||||
FOREACH(eng ARCHIVE BLACKHOLE FEDERATED INNOBASE PARTITION EXAMPLE)
|
||||
FOREACH(eng ARCHIVE BLACKHOLE FEDERATED INNOBASE PARTITION)
|
||||
IF(NOT WITH_${eng}_STORAGE_ENGINE)
|
||||
SET(WITHOUT_${eng}_STORAGE_ENGINE ON CACHE BOOL "")
|
||||
MARK_AS_ADVANCED(WITHOUT_${eng}_STORAGE_ENGINE)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue