micropython/micropython — pull request #609 by stinos (2014-05-12 19:50:41+00:00)
Title: unix: Fix linker errors when time/ffi modules are disabled

When disabling these via mpconfigport.mk or on the commandline,
the correspoding build options are not set and the sources are not
built so the modules should not be added to the
MICROPY_EXTRA_BUILTIN_MODULES list since they are undefined.