Index: platform_tools/android/bin/adb_push_if_needed |
diff --git a/platform_tools/android/bin/adb_push_if_needed b/platform_tools/android/bin/adb_push_if_needed |
index 96e093fee9dc6c69fb7ee8872452e5ea9b2ba088..efe6bb8a1f5d2f168ad6a217b1c8c248a5db6423 100755 |
--- a/platform_tools/android/bin/adb_push_if_needed |
+++ b/platform_tools/android/bin/adb_push_if_needed |
@@ -3,6 +3,7 @@ |
# Copy the contents of a directory from the host to a device. |
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 |