diff options
| author | Paul Sokolovsky | 2018-08-15 15:17:41 +0300 |
|---|---|---|
| committer | Damien George | 2018-09-20 14:41:08 +1000 |
| commit | 2da5d41350d2b1644614a5ce8de557a283d7460a (patch) | |
| tree | 560776a72ce02297117da22a7de99cdcd2cb11fd /ports/minimal | |
| parent | b01f66c5f1a0ceb14f0a864cd068874ec69258e1 (diff) | |
py/objstr: Make % (__mod__) formatting operator configurable.
Default is enabled, disabled for minimal builds. Saves 1296 bytes on x86,
976 bytes on ARM.
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 8744ca950..20a21ce83 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_OP_MODULO (0) #define MICROPY_PY___FILE__ (0) #define MICROPY_PY_GC (0) #define MICROPY_PY_ARRAY (0) |