| 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 97%
|
| rename from platform_tools/ios/bin/ios_umount.sh
|
| rename to platform_tools/ios/bin/ios_umount
|
| index 07598b073f445804a98fcba8fa8ddbf8d57cb52b..1652d249ac8ed2230ab94b27bb941e3b79ea35ab 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 -e
|
| +
|
| SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
| source $SCRIPT_DIR/ios_setup.sh
|
|
|
|
|