micropython/micropython — pull request #279 by pfalcon (2014-02-12 18:27:58+00:00)
Title: unix Makefile: Split off optimization options to COPT variable.

To allow easily try different optimization and configuration options
without patching any files.

The idea is to be able to do ``make COPT="-O3"``, etc.