ios buildbot scripts

platform_tools/ios/bin/ios_pull_if_needed

Index: platform_tools/ios/bin/ios_pull_if_needed
diff --git a/platform_tools/ios/bin/ios_pull_if_needed b/platform_tools/ios/bin/ios_pull_if_needed
new file mode 100755
index 0000000000000000000000000000000000000000..46ad89437ecca76a01183c73326096624922fb35
--- /dev/null
+++ b/platform_tools/ios/bin/ios_pull_if_needed
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+###############################################################################
+# Copyright 2015 Google Inc.
+#
+# Use of this source code is governed by a BSD-style license that can be
+# found in the LICENSE file.
+###############################################################################
+#
+# Pull the given file/directory off the device. 
+#
+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