mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
0f7fae73d1
useful than *.old.<PID> - use the mtime of configure.in instead. This gives us a time stamp of when this last build directory was created, e.g. "mysql-4.0.24-build-2005-01-31-16:47" Build-tools/Bootstrap: - Rename already existing build directories to something more useful than *.old.<PID> - use the mtime of configure.in instead. This gives us a time stamp of when this last build directory was created, e.g. "mysql-4.0.24-build-2005-01-31-16:47" |
||
---|---|---|
.. | ||
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 | ||
Do-win-build | ||
logger.pm | ||
my_md5sum | ||
mysql-copyright | ||
mysql-copyright-2 | ||
newest |