1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

merge 48806

This commit is contained in:
Bjorn Munch
2009-11-19 10:17:56 +01:00
2 changed files with 22 additions and 15 deletions

View File

@@ -266,6 +266,9 @@ sub main {
command_line_setup();
# --help will not reach here, so now it's safe to assume we have binaries
My::SafeProcess::find_bin();
if ( $opt_gcov ) {
gcov_prepare($basedir);
}