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

    --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 ;;