diff options
author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-04-24 02:59:43 +0300 |
---|---|---|
committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-04-24 02:59:43 +0300 |
commit | 1c1d902cd395f1b521e4fe1e11f8f26f50eafc3f (patch) | |
tree | 374451d348f3f9f731d0be6c6f47eec1d96af5d8 /py/runtime.c | |
parent | 6c94abe3478db4ad200a1d578c4f6b0e2df9ae1a (diff) | |
download | micropython-1c1d902cd395f1b521e4fe1e11f8f26f50eafc3f.tar.gz micropython-1c1d902cd395f1b521e4fe1e11f8f26f50eafc3f.zip |
Makefile: Allow to override "super optimization" options used for some files.
To help with debugging issue like #510 for example.
Diffstat (limited to 'py/runtime.c')
0 files changed, 0 insertions, 0 deletions