1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Bash-specific operator replaced by a universal one

This commit is contained in:
Julius Goryavsky
2019-08-21 11:12:39 +02:00
parent 91fdb931fa
commit 94e6a4fa6a

View File

@ -193,7 +193,7 @@ case "$1" in
if [ -z "$original_cmd" ]; then
original_cmd="$1"
else
original_cmd+=" $1"
original_cmd="$original_cmd $1"
fi
fi
shift