| Index: platform_tools/android/bin/android_setup.sh
|
| diff --git a/platform_tools/android/bin/android_setup.sh b/platform_tools/android/bin/android_setup.sh
|
| index a9b2c7955c065b85a983313601d6aef5ba90a470..d7d75f9067dc25987950fbabd27d00fedc91869c 100755
|
| --- a/platform_tools/android/bin/android_setup.sh
|
| +++ b/platform_tools/android/bin/android_setup.sh
|
| @@ -222,6 +222,7 @@ adb_push_if_needed() {
|
| fi
|
| else
|
| echo -n "$ANDROID_DST "
|
| + $ADB $DEVICE_SERIAL shell mkdir -p "$(dirname "$ANDROID_DST")"
|
| $ADB $DEVICE_SERIAL push $HOST_SRC $ANDROID_DST
|
| fi
|
| }
|
|
|