diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-06-17 02:38:20 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-06-17 02:38:20 +0300 |
| commit | df453f0652abbd96310d768ab4529286a76d9775 (patch) | |
| tree | 7dd11b33a69405cae5c4be4bedeb23b4ead51226 /unix/mpconfigport.h | |
| parent | 332545baa360a4f562b6543233aebc02fd65029f (diff) | |
| download | micropython-df453f0652abbd96310d768ab4529286a76d9775.tar.gz micropython-df453f0652abbd96310d768ab4529286a76d9775.zip | |
unix: Time to build with --gc-sections.
This actually saves "only" 6K for x86_64 build, as we're still more or less
careful to #ifdef unneeded code. But relying on --gc-sections in a "lazy"
manner would allow to make #ifdef'ing less pervasive (not suggested right
away, but an option for the future).
Diffstat (limited to 'unix/mpconfigport.h')
0 files changed, 0 insertions, 0 deletions