1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Fix previous

This commit is contained in:
Jonathan Perkin
2010-06-25 16:16:46 +01:00
parent 5dd1d5c2b4
commit 0699a98413

View File

@@ -15,6 +15,8 @@
# This file includes build settings used for MySQL release
INCLUDE(CheckIncludeFiles)
INCLUDE(CheckLibraryExists)
SET(FEATURE_SET "community" CACHE STRING
" Selection of features. Options are