diff options
author | monty@mysql.com <> | 2003-11-02 15:55:25 +0200 |
---|---|---|
committer | monty@mysql.com <> | 2003-11-02 15:55:25 +0200 |
commit | 306ffd74b466f7bdef58ca138665c0a7211ac55b (patch) | |
tree | 143cc73b79c9bf6a804db566adf1ddb19ca7e340 /mysql-test | |
parent | c1f7f3396005d40470a4ae069c57aa48ad645ac3 (diff) | |
parent | 4668b54837f3cd0a4ee71b16841c41a6bdc44c06 (diff) | |
download | mariadb-git-306ffd74b466f7bdef58ca138665c0a7211ac55b.tar.gz |
Merge bk-internal.mysql.com:/home/bk/mysql-4.0
into mysql.com:/my/mysql-4.0
Diffstat (limited to 'mysql-test')
-rw-r--r-- | mysql-test/mysql-test-run.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mysql-test/mysql-test-run.sh b/mysql-test/mysql-test-run.sh index cd409e1ace5..a298701dc7f 100644 --- a/mysql-test/mysql-test-run.sh +++ b/mysql-test/mysql-test-run.sh @@ -353,6 +353,9 @@ while test $# -gt 0; do TMP=`$ECHO "$1" | $SED -e "s;--valgrind-options=;;"` VALGRIND="$VALGRIND $TMP" ;; + --valgrind-all) + VALGRIND="$VALGRIND -v --show-reachable=yes" + ;; --skip-*) EXTRA_MASTER_MYSQLD_OPT="$EXTRA_MASTER_MYSQLD_OPT $1" EXTRA_SLAVE_MYSQLD_OPT="$EXTRA_SLAVE_MYSQLD_OPT $1" |