1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Portability fix

This commit is contained in:
monty@mashka.mysql.fi
2003-01-09 11:11:06 +02:00
parent 2ea43f3c53
commit 54ad6de1d9
4 changed files with 29 additions and 7 deletions

View File

@ -328,7 +328,7 @@ while test $# -gt 0; do
VALGRIND="valgrind --alignment=8 --leak-check=yes"
EXTRA_MASTER_MYSQLD_OPT="$EXTRA_MASTER_MYSQLD_OPT --skip-safemalloc"
EXTRA_SLAVE_MYSQLD_OPT="$EXTRA_SLAVE_MYSQLD_OPT --skip-safemalloc"
#SLEEP_TIME_AFTER_RESTART=120
SLEEP_TIME_AFTER_RESTART=10
SLEEP_TIME_FOR_DELETE=120
;;
--valgrind-options=*)