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