1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Portability fix (avoid bash-ism).

This commit is contained in:
joerg@mysql.com
2005-03-30 18:38:54 +02:00
parent 8e238f22b7
commit 1314c4aaee

View File

@ -87,10 +87,12 @@ parse_arguments() {
}
wait_for_pid () {
for((i=0; i<35; i++)); do
i=0
while test $i -lt 35 ; do
sleep 1
test -s $pid_file && i='' && break
echo $echo_n ".$echo_c"
i=`expr $i + 1`
done
if test -z "$i" ; then