1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

merge 47663 and 48209

This commit is contained in:
Bjorn Munch
2009-11-04 14:57:16 +01:00
3 changed files with 18 additions and 19 deletions

View File

@ -3747,7 +3747,6 @@ sub start_check_warnings ($$) {
mtr_add_arg($args, "--skip-safemalloc");
mtr_add_arg($args, "--test-file=%s", "include/check-warnings.test");
mtr_add_arg($args, "--verbose");
if ( $opt_embedded_server )
{