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 |