Commit 9af841da authored by unknown's avatar unknown
Browse files

Manual merge.

parents 1ba7235e a024fd69
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -316,6 +316,8 @@ STRESS_INIT_FILE=""
STRESS_TEST_FILE=""
STRESS_TEST=""

$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)