iOS platform scripts to be used by buildbots

platform_tools/ios/bin/ios_mount

Index: platform_tools/ios/bin/ios_mount
diff --git a/platform_tools/ios/bin/ios_pull_if_needed b/platform_tools/ios/bin/ios_mount
similarity index 75%
copy from platform_tools/ios/bin/ios_pull_if_needed
copy to platform_tools/ios/bin/ios_mount
index 46ad89437ecca76a01183c73326096624922fb35..d71e32df0e9f7b99c7ae2a0e52f2baefbcbd39b6 100755
--- a/platform_tools/ios/bin/ios_pull_if_needed
+++ b/platform_tools/ios/bin/ios_mount
@@ -1,5 +1,5 @@
 #!/bin/bash
-
+#
 ###############################################################################
 # Copyright 2015 Google Inc.
 #
@@ -7,12 +7,12 @@
 # found in the LICENSE file.
 ###############################################################################
 #
-# Pull the given file/directory off the device. 
+# Mounts the iOS device locally. See the value of IOS_MOUNT_POINT in
+# ios_setup.sh for the exact location.
 #
+set -x -e
+
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 source $SCRIPT_DIR/ios_setup.sh
 
-HOST_PATH=$1
-DEVICE_PATH=$2
-
-ios_pull $HOST_PATH $DEVICE_PATH
+ios_mount