mirror of
https://github.com/MariaDB/server.git
synced 2025-02-01 11:31:51 +01:00
25 lines
485 B
Bash
25 lines
485 B
Bash
|
#!/bin/bash
|
||
|
|
|
||
|
|
###########################################################################
|
||
|
|
|
||
|
|
basename=`basename "$0"`
|
||
|
|
dirname=`dirname "$0"`
|
||
|
|
|
||
|
|
###########################################################################
|
||
|
|
|
||
|
|
. "$dirname/utils.sh"
|
||
|
|
|
||
|
|
###########################################################################
|
||
|
|
|
||
|
|
if [ $# -lt 2 ]; then
|
||
|
|
echo "Usage: $basename <test id> log message ..."
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
test_id="$1"
|
||
|
|
log_file="$MYSQLTEST_VARDIR/log/$test_id.log"
|
||
|
|
|
||
|
|
shift
|
||
|
|
|
||
|
|
log_debug "$*"
|