1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-30 11:22:14 +03:00

Merge work:/my/mysql into donna.mysql.com:/home/my/bk/mysql

This commit is contained in:
monty@donna.mysql.com
2000-12-29 16:09:30 +02:00
2 changed files with 6 additions and 5 deletions

View File

@@ -191,7 +191,7 @@ error () {
}
error_is () {
$ECHO `$CAT $TIMEFILE` | $SED -e 's/.* At line .*\: \(.*\)Command .*$/ \>\> Error: \1<\</'
$ECHO `$CAT $TIMEFILE` | $SED -e 's/.* At line \(.*\)\: \(.*\)Command .*$/ \>\> Error at line \1: \2<\</'
}
prefix_to_8() {
@@ -497,7 +497,7 @@ run_testcase ()
timestr="$USERT $SYST $REALT"
pname=`$ECHO "$tname "|$CUT -c 1-16`
$SETCOLOR_NORMAL && $ECHO -n "$pname $timestr"
$ECHO -n "$pname $timestr"
@@ -520,7 +520,6 @@ run_testcase ()
exit 1
fi
# $ECHO "Restarting mysqld"
mysql_restart
$ECHO "Resuming Tests"
$ECHO