micropython/micropython — pull request #439 by lurch (2014-04-07 00:52:35+00:00)
Title: Makefile tweaks

Replace some Makefile commands with variables in py/mkenv.mk