mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
Manual merge.
This commit is contained in:
@ -316,6 +316,8 @@ STRESS_INIT_FILE=""
|
|||||||
STRESS_TEST_FILE=""
|
STRESS_TEST_FILE=""
|
||||||
STRESS_TEST=""
|
STRESS_TEST=""
|
||||||
|
|
||||||
|
$ECHO "Logging: $0 $*" # To ensure we see all arguments in the output, for the test analysis tool
|
||||||
|
|
||||||
while test $# -gt 0; do
|
while test $# -gt 0; do
|
||||||
case "$1" in
|
case "$1" in
|
||||||
--embedded-server)
|
--embedded-server)
|
||||||
|
Reference in New Issue
Block a user