andreasgal/gaia — pull request #1213 by jlebar (2012-04-12 18:11:14+00:00)
Title: Make install-gaia much faster when you don't have much to push, take 2

New branch, because undoing a backout is beyond my git ken. Previous pull request: https://github.com/andreasgal/gaia/pull/1183

This tries the new way, and if it fails, falls back to the old way. The overhead of doing this on devices where it fails should be small compared to the adb push.