1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-30 11:22:14 +03:00

Configure updates

Fixed my_print_defaults --no-defaults
This commit is contained in:
monty@donna.mysql.com
2000-12-16 01:17:13 +02:00
parent b58d92652b
commit 18f7b7b678
9 changed files with 386 additions and 300 deletions

View File

@@ -135,19 +135,19 @@ MYSQL_TEST="$MYSQL_TEST --no-defaults --socket=$MASTER_MYSOCK --database=$DB --u
GDB_MASTER_INIT=/tmp/gdbinit.master
GDB_SLAVE_INIT=/tmp/gdbinit.slave
if [ "$1" = "-force" ] ; then
if [ "$1" = "--force" ] ; then
FORCE=1
shift 1
fi
if [ "$1" = "-record" ] ; then
if [ "$1" = "--record" ] ; then
RECORD=1
shift 1
fi
if [ "$1" = "-gcov" ];
if [ "$1" = "--gcov" ];
then
if [ x$BINARY_DIST = x1 ] ; then
echo "Cannot do coverage test without the source - please us source dist"
@@ -483,7 +483,7 @@ run_testcase ()
$ECHO
$ECHO
if [ x$FORCE != x1 ] ; then
echo "Aborting, if you want to continue, re-run with -force"
echo "Aborting, if you want to continue, re-run with --force"
mysql_stop
exit 1
fi