| Index: platform_tools/ios/bin/ios_umount
|
| diff --git a/platform_tools/ios/bin/ios_umount.sh b/platform_tools/ios/bin/ios_umount
|
| similarity index 98%
|
| rename from platform_tools/ios/bin/ios_umount.sh
|
| rename to platform_tools/ios/bin/ios_umount
|
| index 07598b073f445804a98fcba8fa8ddbf8d57cb52b..25d6871ea4028d0a62b7bcd0af78702f326a3315 100755
|
| --- a/platform_tools/ios/bin/ios_umount.sh
|
| +++ b/platform_tools/ios/bin/ios_umount
|
| @@ -9,6 +9,8 @@
|
| #
|
| # Mount the ios device.
|
| #
|
| +set -x
|
| +
|
| SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
| source $SCRIPT_DIR/ios_setup.sh
|
|
|
|
|