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