| 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..9c58b6f8fb0c9ca0e57b237d95e9af34121b95ff 100755
|
| --- a/platform_tools/ios/bin/ios_pull_if_needed
|
| +++ b/platform_tools/ios/bin/ios_pull_if_needed
|
| @@ -9,10 +9,12 @@
|
| #
|
| # Pull the given file/directory off the device.
|
| #
|
| +set -x
|
| +
|
| 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
|
|
|