diff options
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 512e43fcc..252d30f53 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; } |