I'm pushing this because I have to reset my own project every time I
pull and I THINK that this might solve it. Here's the link that should
help, should troubles arise.
http://stackoverflow.com/questions/7816679/android-unknown-command-crunch/7831692#7831692