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

Bug #33337 mysql-test-run.pl options --gdb and --ddd don't work with --embedded-server

This commit is contained in:
Magnus Svensson
2008-08-01 16:13:35 +02:00
parent 53e17da331
commit 7e5752e27b

View File

@ -1044,6 +1044,13 @@ sub command_line_setup {
{
mtr_error("Can't use --extern with --embedded-server");
}
if ( $opt_gdb || $opt_ddd || $opt_manual_gdb || $opt_manual_ddd ||
$opt_manual_debug || $opt_debugger )
{
mtr_error("You need to use the client debug options for the",
"embedded server. Ex: --client-gdb");
}
}
# --------------------------------------------------------------------------