diff options
| author | Paul Sokolovsky | 2015-08-20 01:01:56 +0300 |
|---|---|---|
| committer | Paul Sokolovsky | 2015-08-20 01:05:11 +0300 |
| commit | 22ff397fb11fac323607ef2e51d81a4ed96c2c50 (patch) | |
| tree | e87bc9304805023caa719937b2c926ef16c03a30 /py/mpconfig.h | |
| parent | 7f70b60f4d05126a838364ee91d288ec8c47d362 (diff) | |
py: Add MICROPY_PY_BUILTINS_FILTER, disable for minimal ports.
Saves 320 bytes on x86.
Diffstat (limited to 'py/mpconfig.h')
| -rw-r--r-- | py/mpconfig.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/py/mpconfig.h b/py/mpconfig.h index bfa7a1f68..ce6fa6cea 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -500,6 +500,11 @@ typedef double mp_float_t; #define MICROPY_PY_BUILTINS_EXECFILE (0) #endif +// Whether to support filter function(type) +#ifndef MICROPY_PY_BUILTINS_FILTER +#define MICROPY_PY_BUILTINS_FILTER (1) +#endif + // Whether to support reversed function(type) #ifndef MICROPY_PY_BUILTINS_REVERSED #define MICROPY_PY_BUILTINS_REVERSED (1) |