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

do not use manager with gdb *by default*

This commit is contained in:
unknown
2001-12-11 20:39:59 +01:00
parent 6d187f8d06
commit f63d847e92

View File

@ -226,8 +226,6 @@ while test $# -gt 0; do
$ECHO "Note: you will get more meaningful output on a source distribution compiled with debugging option when running tests with --gdb option"
fi
DO_GDB=1
# We must use manager, as things doesn't work on Linux without it
USE_MANAGER=1
USE_RUNNING_SERVER=""
;;
--client-gdb )