| Index: platform_tools/android/bin/adb_pull_if_needed
|
| diff --git a/platform_tools/android/bin/adb_pull_if_needed b/platform_tools/android/bin/adb_pull_if_needed
|
| index f4992b29c84e4011a501366ee665e5cb189fed55..6a35902bddfaa9497fbf12584ca968139f01eb21 100755
|
| --- a/platform_tools/android/bin/adb_pull_if_needed
|
| +++ b/platform_tools/android/bin/adb_pull_if_needed
|
| @@ -3,6 +3,7 @@
|
| # Copy the contents of a directory from a device to the host.
|
|
|
| SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
| +SKIP_TOOLCHAIN_SETUP="true"
|
| source $SCRIPT_DIR/android_setup.sh
|
| source $SCRIPT_DIR/utils/setup_adb.sh
|
|
|
|
|