From 7e5752e27b56c0be65b290f0ed3b1058f9c4667f Mon Sep 17 00:00:00 2001 From: Magnus Svensson Date: Fri, 1 Aug 2008 16:13:35 +0200 Subject: [PATCH] Bug #33337 mysql-test-run.pl options --gdb and --ddd don't work with --embedded-server --- mysql-test/mysql-test-run.pl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index e7589562e87..87aeff437d6 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -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"); + } } # --------------------------------------------------------------------------