| Index: platform_tools/ios/bin/ios_setup.sh
|
| diff --git a/platform_tools/ios/bin/ios_setup.sh b/platform_tools/ios/bin/ios_setup.sh
|
| index 7b42e21c5253280f088fb0d597047502a83f7efb..d9d7a2e7aecf22f2ea03b23979b3a1a5ea5c6e78 100755
|
| --- a/platform_tools/ios/bin/ios_setup.sh
|
| +++ b/platform_tools/ios/bin/ios_setup.sh
|
| @@ -82,7 +82,7 @@ ios_mount() {
|
| # If this is already mounted we unmount it.
|
| if $(mount | grep --quiet "$IOS_MOUNT_POINT"); then
|
| >&2 echo "Device already mounted at: $IOS_MOUNT_POINT - Unmounting."
|
| - ios_umount
|
| + ios_umount || true
|
| fi
|
|
|
| # Ensure there is a mount directory.
|
|
|