mirror of
https://github.com/MariaDB/server.git
synced 2026-04-27 18:55:31 +02:00
in particular, don't do ExternalProject_Add() that starts creating build directories for a disabled plugin |
||
|---|---|---|
| .. | ||
| aws_key_management_plugin.cc | ||
| CMakeLists.txt | ||