[icebraining]

I use a git hook on the server to rebuild on push. I do the same for a few configuration files (the hook takes care of copying the file and reloading the daemon). If you're the only user, it's perhaps the simplest (and fastest) option, although it does mean you need a git client to update stuff. Thankfully, there's SGit for Android.