micropython/micropython — pull request #506 by lurch (2014-04-16 21:19:07+00:00)
Title: build directory can now be renamed

The autogenerated header files have been moved about, and an extra
include dir has been added, which means you can give a custom
BUILD=newbuilddir option to make, and everything "just works"

Also tidied up the way the different Makefiles build their include-
directory flags