micropython/micropython — pull request #943 by pfalcon (2014-10-29 10:34:47+00:00)
Title: py: Allow to override port config file and thus have >1 configs per port.

Use it like:

make CFLAGS_EXTRA="-DMPCONFIG_FILE=mpconfigport_my.h"