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 | 720e13d6653edbc3022e92b28095c8b8650f01bf (patch) | |
| tree | 2bcbff2a52dd27efd70ea0c45b8b53752ef0e30b | |
| parent | cd93a5aafa2d89f3c6baa27aff0ffb73afd2a622 (diff) | |
| parent | 6e0d2e41cccb9223b50212dfecf56e43f19df11e (diff) | |
| download | mariadb-git-720e13d6653edbc3022e92b28095c8b8650f01bf.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 ;; |