diff options
author | Denys Vlasenko | 2017-07-15 19:18:58 +0200 |
---|---|---|
committer | Denys Vlasenko | 2017-07-15 19:20:45 +0200 |
commit | 08dfafc43757c42971b4bc3709ae7a5cda7c21fb (patch) | |
tree | 21d09e64ae9858c8285410ebd6aae6a17439efe1 /examples/mdev.conf.change_blockdev.sh | |
parent | ed2b9225371a36dd2694df65e395dc32fd94c5dd (diff) | |
download | busybox-08dfafc43757c42971b4bc3709ae7a5cda7c21fb.zip busybox-08dfafc43757c42971b4bc3709ae7a5cda7c21fb.tar.gz |
fix more instances of ": $((a++))" in shell scripts
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
Diffstat (limited to 'examples/mdev.conf.change_blockdev.sh')
-rwxr-xr-x | examples/mdev.conf.change_blockdev.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/mdev.conf.change_blockdev.sh b/examples/mdev.conf.change_blockdev.sh index 512e43f..252d30f 100755 --- a/examples/mdev.conf.change_blockdev.sh +++ b/examples/mdev.conf.change_blockdev.sh @@ -14,7 +14,7 @@ env | sort while sleep 1; test $cnt != 0; do echo "Trying to reread partition table on $DEVNAME ($cnt)" - : $((cnt--)) + cnt=$((cnt-1)) # If device node doesn't exist, it means the device was removed. # Stop trying. test -e "$DEVNAME" || { echo "$DEVNAME doesn't exist, aborting"; exit 1; } |