mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
909596e030
if it's built with debugging enabled or not stripped (save disk space) |
||
---|---|---|
.. | ||
Bootstrap | ||
cvs-sanity-check | ||
Do-all-build-steps | ||
Do-compile | ||
Do-create-perl-rpms | ||
Do-linux-build | ||
Do-local-patch-file | ||
Do-patch-file | ||
Do-pkg | ||
Do-rpm | ||
logger.pm | ||
mysql-copyright | ||
mysql-copyright-2 | ||
newest |