diff options
author | kent@c-634072d5.010-2112-6f72651.cust.bredbandsbolaget.se <> | 2006-11-10 02:36:29 +0100 |
---|---|---|
committer | kent@c-634072d5.010-2112-6f72651.cust.bredbandsbolaget.se <> | 2006-11-10 02:36:29 +0100 |
commit | 040f95494d704ced31cc6e5f2a0fb487c6cbcdf4 (patch) | |
tree | 4a88bbff4fd0ffc96753f449c2c9f9463b12cbee /mysql-test/mysql-test-run-shell.sh | |
parent | e209edaa32841ee78e802efa2ef4b9a0a3e9e5d1 (diff) | |
parent | 264beeff8660a5e173ea736b60944f5576a44fbe (diff) | |
download | mariadb-git-040f95494d704ced31cc6e5f2a0fb487c6cbcdf4.tar.gz |
Merge mysql.com:/Users/kent/mysql/bk/lic/my50-lic
into mysql.com:/Users/kent/mysql/bk/lic/my51-lic
Diffstat (limited to 'mysql-test/mysql-test-run-shell.sh')
-rw-r--r-- | mysql-test/mysql-test-run-shell.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/mysql-test/mysql-test-run-shell.sh b/mysql-test/mysql-test-run-shell.sh index f2200c4be07..99c844b2f78 100644 --- a/mysql-test/mysql-test-run-shell.sh +++ b/mysql-test/mysql-test-run-shell.sh @@ -1815,10 +1815,13 @@ run_testcase () --result-file=*) result_file=`$ECHO "$EXTRA_MASTER_OPT" | $SED -e "s;--result-file=;;"` result_file="r/$result_file.result" - # Note that this must be set to space, not "" for test-reset to -# work + # Note that this must be set to space, not "" for test-reset to work EXTRA_MASTER_OPT=" " ;; + --force-restart) + # Note that this must be set to space, not "" for test-reset to work + EXTRA_MASTER_OPT=" " + ;; esac stop_master stop_master 1 |