1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

fixed problem spoted by Vladimir V. Kolpakov

This commit is contained in:
unknown
2004-08-16 17:09:57 +03:00
parent fccd2414c6
commit f43fe31e57

View File

@ -6,7 +6,7 @@
# to start mysqld yourself and run mysqltest -r
RESULT_DIR=r
if [ -z $EDITOR ] ; then
if [ -z "$EDITOR" ] ; then
EDITOR=vi
fi
@ -24,7 +24,7 @@ function usage()
test_name=$1
[ -z $test_name ] && usage
[ -z "$test_name" ] && usage
result_file=$RESULT_DIR/$test_name.result
reject_file=$RESULT_DIR/$test_name.reject