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 |
index 46ad89437ecca76a01183c73326096624922fb35..25edfd97322afc163f563d17c2c233acec27dada 100755 |
--- a/platform_tools/ios/bin/ios_pull_if_needed |
+++ b/platform_tools/ios/bin/ios_pull_if_needed |
@@ -7,12 +7,14 @@ |
# found in the LICENSE file. |
############################################################################### |
# |
-# Pull the given file/directory off the device. |
+# Pull the given file/directory off the device. |
# |
+set -x -e |
+ |
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
source $SCRIPT_DIR/ios_setup.sh |
-HOST_PATH=$1 |
-DEVICE_PATH=$2 |
+DEVICE_PATH=$1 |
+HOST_PATH=$2 |
-ios_pull $HOST_PATH $DEVICE_PATH |
+ios_pull $DEVICE_PATH $HOST_PATH |