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 |