diff options
| author | Paul Sokolovsky | 2018-08-05 23:56:19 +0300 |
|---|---|---|
| committer | Damien George | 2018-10-22 22:49:05 +1100 |
| commit | 5a91fce9f868eeba37a0b1cf6c3b4435ed5eecec (patch) | |
| tree | a81202c0b0a5d6d68790ea0a42fdb1ee395f6794 /ports/minimal | |
| parent | 7795b2e5c3e3dfeb20aaca751c45b4dfceedcc7f (diff) | |
py/objstr: Make str.count() method configurable.
Configurable via MICROPY_PY_BUILTINS_STR_COUNT. Default is enabled.
Disabled for bare-arm, minimal, unix-minimal and zephyr ports. Disabling
it saves 408 bytes on x86.
Diffstat (limited to 'ports/minimal')
| -rw-r--r-- | ports/minimal/mpconfigport.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/minimal/mpconfigport.h b/ports/minimal/mpconfigport.h index 20a21ce83..13435a125 100644 --- a/ports/minimal/mpconfigport.h +++ b/ports/minimal/mpconfigport.h @@ -40,6 +40,7 @@ #define MICROPY_PY_BUILTINS_SLICE (0) #define MICROPY_PY_BUILTINS_PROPERTY (0) #define MICROPY_PY_BUILTINS_MIN_MAX (0) +#define MICROPY_PY_BUILTINS_STR_COUNT (0) #define MICROPY_PY_BUILTINS_STR_OP_MODULO (0) #define MICROPY_PY___FILE__ (0) #define MICROPY_PY_GC (0) |