diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-08-07 06:46:55 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-08-07 06:46:55 +0300 |
| commit | 56eb25f04928132f9921a1163684e626256e2a2c (patch) | |
| tree | bbacd6e450cb6bb732cb4b3b75b7afee5aab7cfa /py/mpconfig.h | |
| parent | a4aaf824219818c421b85436b0bf8f67468590d9 (diff) | |
| download | micropython-56eb25f04928132f9921a1163684e626256e2a2c.tar.gz micropython-56eb25f04928132f9921a1163684e626256e2a2c.zip | |
py/objstr: Make .partition()/.rpartition() methods configurable.
Default is disabled, enabled for unix port. Saves 600 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 890e072ab5..45e7a80ef5 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -611,6 +611,11 @@ typedef double mp_float_t; #define MICROPY_PY_BUILTINS_STR_CENTER (0) #endif +// Whether str.partition()/str.rpartition() method provided +#ifndef MICROPY_PY_BUILTINS_STR_PARTITION +#define MICROPY_PY_BUILTINS_STR_PARTITION (0) +#endif + // Whether str.splitlines() method provided #ifndef MICROPY_PY_BUILTINS_STR_SPLITLINES #define MICROPY_PY_BUILTINS_STR_SPLITLINES (0) |