| 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
|
|
|