adb push seems to push everything into the dest folder regardless of their changed/unchanged states. So it wastes a lot of time. Is it possible to sync rather than copy (i.e. to
rsync rather than
adb has a
sync option, but I'm not quite sure whether it's relevant or not.