micropython/micropython — pull request #962 by swegener (2014-11-05 20:36:05+00:00)
Title: Couple of build fixes

Just a couple of random build fixes I came across.