Commit 747f81c2 authored by unknown's avatar unknown
Browse files

mysql-test/mysql-test-run.sh : Provide info about the options used. 


mysql-test/mysql-test-run.sh:
  Provide info about the options used for this run to any evaluation tool.
parent ff85ba77

mysql-test/mysql-test-run.sh

+2 −0
Original line number Diff line number Diff line
@@ -250,6 +250,8 @@ START_WAIT_TIMEOUT=10 
STOP_WAIT_TIMEOUT=10

MYSQL_TEST_SSL_OPTS=""



$ECHO "Logging: $0 $*"   # To ensure we see all arguments in the output, for the test analysis tool



while test $# -gt 0; do

  case "$1" in

    --user=*) DBUSER=`$ECHO "$1" | $SED -e "s;--user=;;"` ;;