diff options
| author | unknown <joerg@mysql.com> | 2006-03-01 20:13:23 +0100 |
|---|---|---|
| committer | unknown <joerg@mysql.com> | 2006-03-01 20:13:23 +0100 |
| commit | e1724ae7c43fc21e89ad99aedfd2576253c5202b (patch) | |
| tree | 2bcbff2a52dd27efd70ea0c45b8b53752ef0e30b | |
| parent | 523bc629f640cb01587e76cf618e85cec20bce7c (diff) | |
| parent | 253e6d66f241bc52f3e1b369b86b98f909af82ee (diff) | |
| download | mariadb-git-e1724ae7c43fc21e89ad99aedfd2576253c5202b.tar.gz | |
Merge jbruehe@bk-internal.mysql.com:/home/bk/mysql-4.0
into mysql.com:/M40/comment-4.0
| -rw-r--r-- | mysql-test/mysql-test-run.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mysql-test/mysql-test-run.sh b/mysql-test/mysql-test-run.sh index 3488c308536..5853ffa201c 100644 --- a/mysql-test/mysql-test-run.sh +++ b/mysql-test/mysql-test-run.sh @@ -410,6 +410,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 ;; |