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 cp)?
I see adb has a sync option, but I'm not quite sure whether it's relevant or not.