1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

per special request from Ingo :)

This commit is contained in:
unknown
2004-05-03 17:17:50 +02:00
parent 1a34c83cb3
commit 4ab4890866

View File

@ -1224,6 +1224,7 @@ run_testcase ()
if [ "$DO_TEST" ] ; then
if $EXPR \( "$tname" : "$DO_TEST" \) > /dev/null ; then
: #empty command to keep some shells happy
else
#skip_test $tname
return