diff options
| author | Ron Yorston <rmy@pobox.com> | 2017-07-18 15:58:52 +0100 |
|---|---|---|
| committer | Ron Yorston <rmy@pobox.com> | 2017-07-18 15:58:52 +0100 |
| commit | b680f05ad449505e3d914bebd4c8d83bf768c094 (patch) | |
| tree | c08ded13d430b0e7e0104f2eb594fad190ce98a3 /examples/mdev.conf.change_blockdev.sh | |
| parent | 258200ff81d5a9da54dab35acf36213eff1e399b (diff) | |
| parent | 513a2457b65894b10b9fd6aa8753fca59eced08c (diff) | |
| download | busybox-w32-b680f05ad449505e3d914bebd4c8d83bf768c094.tar.gz busybox-w32-b680f05ad449505e3d914bebd4c8d83bf768c094.tar.bz2 busybox-w32-b680f05ad449505e3d914bebd4c8d83bf768c094.zip | |
Merge branch 'busybox' into merge
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 | |||
| 14 | 14 | ||
| 15 | while sleep 1; test $cnt != 0; do | 15 | while sleep 1; test $cnt != 0; do |
| 16 | echo "Trying to reread partition table on $DEVNAME ($cnt)" | 16 | echo "Trying to reread partition table on $DEVNAME ($cnt)" |
| 17 | : $((cnt--)) | 17 | cnt=$((cnt-1)) |
| 18 | # If device node doesn't exist, it means the device was removed. | 18 | # If device node doesn't exist, it means the device was removed. |
| 19 | # Stop trying. | 19 | # Stop trying. |
| 20 | test -e "$DEVNAME" || { echo "$DEVNAME doesn't exist, aborting"; exit 1; } | 20 | test -e "$DEVNAME" || { echo "$DEVNAME doesn't exist, aborting"; exit 1; } |