mirror of
https://github.com/MariaDB/server.git
synced 2026-05-14 19:07:15 +02:00
Manual merge.
This commit is contained in:
commit
a024fd69c0
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…
Add table
Add a link
Reference in a new issue