1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

merge 47663 and 48209

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

View File

@ -3746,7 +3746,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 )
{