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. |