mirror of
https://github.com/MariaDB/server.git
synced 2025-08-09 22:24:09 +03:00
Merge pull request #342 from rasmushoj/10.2
MDEV-12328, added building of AWS for release builds
This commit is contained in:
@@ -27,7 +27,10 @@ ENDIF()
|
|||||||
IF(SIZEOF_VOIDP EQUAL 8)
|
IF(SIZEOF_VOIDP EQUAL 8)
|
||||||
SET(64BIT 1)
|
SET(64BIT 1)
|
||||||
ENDIF()
|
ENDIF()
|
||||||
|
|
||||||
|
# include aws_key_management plugin in release builds
|
||||||
|
SET(PLUGIN_AWS_KEY_MANAGEMENT DYNAMIC)
|
||||||
|
|
||||||
SET(FEATURE_SET "community" CACHE STRING
|
SET(FEATURE_SET "community" CACHE STRING
|
||||||
" Selection of features. Options are
|
" Selection of features. Options are
|
||||||
- xsmall :
|
- xsmall :
|
||||||
|
Reference in New Issue
Block a user