mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 06:22:28 +01:00
b24a04c6e0
in particular, don't do ExternalProject_Add() that starts creating build directories for a disabled plugin |
||
---|---|---|
.. | ||
aws_key_management_plugin.cc | ||
CMakeLists.txt |