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 |