diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2018-08-15 15:17:41 +0300 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-09-20 14:41:08 +1000 |
| commit | 2da5d41350d2b1644614a5ce8de557a283d7460a (patch) | |
| tree | 560776a72ce02297117da22a7de99cdcd2cb11fd /py/mpconfig.h | |
| 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 '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 e0a0f0d5a..8f1411405 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -759,6 +759,11 @@ typedef double mp_float_t; #define MICROPY_PY_BUILTINS_STR_CENTER (0) #endif +// Whether str % (...) formatting operator provided +#ifndef MICROPY_PY_BUILTINS_STR_OP_MODULO +#define MICROPY_PY_BUILTINS_STR_OP_MODULO (1) +#endif + // Whether str.partition()/str.rpartition() method provided #ifndef MICROPY_PY_BUILTINS_STR_PARTITION #define MICROPY_PY_BUILTINS_STR_PARTITION (0) |