mirror of
https://github.com/MariaDB/server.git
synced 2025-11-27 05:41:41 +03:00
RPM solution: Make all server plugins to restart the server when installed. To avoid multiple server restarts, do it only once in posttrans scriptlet. Add support for CPACK_RPM_<component>_POST_TRANS_SCRIPT_FILE