py: Add MICROPY_PY_BUILTINS_FILTER, disable for minimal ports.

Saves 320 bytes on x86.
This commit is contained in:
Paul Sokolovsky
2015-08-20 01:01:56 +03:00
parent 7f70b60f4d
commit 22ff397fb1
6 changed files with 15 additions and 0 deletions

View File

@@ -205,7 +205,9 @@ Q(exec)
#if MICROPY_PY_BUILTINS_EXECFILE
Q(execfile)
#endif
#if MICROPY_PY_BUILTINS_FILTER
Q(filter)
#endif
#if MICROPY_PY_BUILTINS_FLOAT
Q(float)
#endif