mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
Manual merge.
This commit is contained in:
commit
657d1bd182
1 changed files with 2 additions and 0 deletions
|
@ -271,6 +271,8 @@ NDB_MGM_EXTRA_OPTS=
|
|||
NDB_MGMD_EXTRA_OPTS=
|
||||
NDBD_EXTRA_OPTS=
|
||||
|
||||
$ECHO "Logging: $0 $*" # To ensure we see all arguments in the output, for the test analysis tool
|
||||
|
||||
while test $# -gt 0; do
|
||||
case "$1" in
|
||||
--embedded-server)
|
||||
|
|
Loading…
Reference in a new issue