Actually, can you do make -k and post the logs somewhere? On Mon, Mar 25, 2013 at 6:09 PM, Sam Spilsbury