Commit dfbbcd27 authored by unknown's avatar unknown
Browse files

Merge mysql.com:/M40/comment-4.0 into mysql.com:/M41/comment-4.1 


mysql-test/mysql-test-run.sh:
  Auto merged
parents a7abbd91 6e0d2e41

mysql-test/mysql-test-run.sh

+7 −0
Original line number Diff line number Diff line
@@ -476,6 +476,13 @@ while test $# -gt 0; do 
    --fast)

      FAST_START=1

      ;;

    --comment=*)

      TMP=`$ECHO "$1" | $SED -e "s;--comment=;;"`

      echo

      echo '############################################'

      echo "# $TMP"

      echo '############################################'

      ;;

    -- )  shift; break ;;

    --* ) $ECHO "Unrecognized option: $1"; exit 1 ;;

    * ) break ;;